Package net.sf.tweety.logics.dl.test
Class DlReasonerTest
- java.lang.Object
-
- net.sf.tweety.logics.dl.test.DlReasonerTest
-
public class DlReasonerTest extends java.lang.Object
JUnit Test class for NaiveDLReasoner.- Author:
- Anna Gessler
-
-
Field Summary
Fields Modifier and Type Field Description static int
DEFAULT_TIMEOUT
-
Constructor Summary
Constructors Constructor Description DlReasonerTest()
-
Method Summary
Modifier and Type Method Description void
ComplexQueryTest()
void
initParser()
void
SimpleQueryTest()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
Method Detail
-
initParser
public void initParser()
-
SimpleQueryTest
public void SimpleQueryTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ComplexQueryTest
public void ComplexQueryTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-