Class QbfTest
java.lang.Object
org.tweetyproject.logics.qbf.test.QbfTest
Test class for basic qbf functionalities.
- Author:
- Anna Gessler
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
-
Field Details
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT- See Also:
-
-
Constructor Details
-
QbfTest
public QbfTest()
-
-
Method Details
-
TypesTest
public void TypesTest() -
ParseQuantifiedFormulaTest
- Throws:
ParserException
IOException
-
ParseNestedQuantifiedFormulaTest
- Throws:
ParserException
IOException
-