Package modelcounter

Class CountRltlConv

java.lang.Object

modelcounter.CountRltlConv

public class CountRltlConv
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	TIMEOUT

Constructor Summary

Constructors

Constructor	Description
CountRltlConv()

Method Summary

Modifier and Type	Method	Description
BigInteger	countPrefixes(owl.ltl.LabelledFormula formula, int bound)
String	genRltlString(owl.ltl.LabelledFormula formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TIMEOUT

public int TIMEOUT

Constructor Detail

CountRltlConv

public CountRltlConv()

Method Detail

countPrefixes

public BigInteger countPrefixes(owl.ltl.LabelledFormula formula,
                                int bound)
                         throws IOException,
                                InterruptedException

Throws:

IOException

InterruptedException

genRltlString

public String genRltlString(owl.ltl.LabelledFormula formula)