org.sosy_lab.solver.test

Class HoudiniApp

java.lang.Object

org.sosy_lab.solver.test.HoudiniApp

public class HoudiniApp
extends Object

Constructor Summary

Constructors

Constructor and Description
HoudiniApp(String[] args)

Method Summary

Methods

Modifier and Type	Method and Description
List<BooleanFormula>	testHoudini(List<BooleanFormula> lemmas, BooleanFormula transition)

Methods inherited from class java.lang.Object

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

Constructor Detail

HoudiniApp

public HoudiniApp(String[] args)
           throws InvalidConfigurationException

Throws:

InvalidConfigurationException

Method Detail

testHoudini

public List<BooleanFormula> testHoudini(List<BooleanFormula> lemmas,
                               BooleanFormula transition)
                                 throws SolverException,
                                        InterruptedException

Throws:

SolverException

InterruptedException