Package solvers

Class LTLSolver

java.lang.Object

solvers.LTLSolver

public class LTLSolver
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LTLSolver.SolverResult

Field Summary

Fields

Modifier and Type	Field	Description
static int	numOfCalls
static int	numOfError
static int	numOfTimeout

Constructor Summary

Constructors

Constructor	Description
LTLSolver()

Method Summary

Modifier and Type	Method	Description
static LTLSolver.SolverResult	isSAT(String formula)

Methods inherited from class java.lang.Object

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

Field Detail

numOfTimeout

public static int numOfTimeout

numOfError

public static int numOfError

numOfCalls

public static int numOfCalls

Constructor Detail

LTLSolver

public LTLSolver()

Method Detail

isSAT

public static LTLSolver.SolverResult isSAT(String formula)
                                    throws IOException,
                                           InterruptedException

Throws:

IOException

InterruptedException