Package solvers

Class PreciseLTLModelCounter

java.lang.Object

solvers.PreciseLTLModelCounter

public class PreciseLTLModelCounter
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PreciseLTLModelCounter.MODEL_COUNTER

Field Summary

Fields

Modifier and Type	Field	Description
String	BASENAME
int	BOUND
String	INFILE
PreciseLTLModelCounter.MODEL_COUNTER	modelcounter
int	numOfCalls
int	numOfError
int	numOfTimeout
int	TIMEOUT

Constructor Summary

Constructors

Constructor	Description
PreciseLTLModelCounter()

Method Summary

Modifier and Type	Method	Description
BigInteger	count(String formula, List<String> variables)
BigInteger	count(owl.ltl.Formula f, int numOfVars)
String	getCommand()

Methods inherited from class java.lang.Object

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

Field Detail

BASENAME

public final String BASENAME

See Also:

Constant Field Values

INFILE

public final String INFILE

See Also:

Constant Field Values

BOUND

public int BOUND

numOfTimeout

public int numOfTimeout

numOfError

public int numOfError

numOfCalls

public int numOfCalls

TIMEOUT

public int TIMEOUT

modelcounter

public PreciseLTLModelCounter.MODEL_COUNTER modelcounter

Constructor Detail

PreciseLTLModelCounter

public PreciseLTLModelCounter()

Method Detail

getCommand

public String getCommand()

count

public BigInteger count(owl.ltl.Formula f,
                        int numOfVars)
                 throws IOException,
                        InterruptedException

Throws:

IOException

InterruptedException

count

public BigInteger count(String formula,
                        List<String> variables)
                 throws IOException,
                        InterruptedException

Throws:

IOException

InterruptedException