Package net.sf.tweety.logics.qbf.test
Class QbfTest
- java.lang.Object
-
- net.sf.tweety.logics.qbf.test.QbfTest
-
public class QbfTest extends java.lang.Object
Test class for basic qbf functionalities.- Author:
- Anna Gessler
-
-
Field Summary
Fields Modifier and Type Field Description static int
DEFAULT_TIMEOUT
-
Constructor Summary
Constructors Constructor Description QbfTest()
-
Method Summary
Modifier and Type Method Description void
ParseNestedQuantifiedFormulaTest()
void
ParseQuantifiedFormulaTest()
void
TypesTest()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
Method Detail
-
TypesTest
public void TypesTest()
-
ParseQuantifiedFormulaTest
public void ParseQuantifiedFormulaTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ParseNestedQuantifiedFormulaTest
public void ParseNestedQuantifiedFormulaTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-