Package net.sf.tweety.logics.fol.test
Class FolParserTest
- java.lang.Object
-
- net.sf.tweety.logics.fol.test.FolParserTest
-
public class FolParserTest extends java.lang.Object
JUnit Test class for FolParser.- Author:
- Anna Gessler
-
-
Field Summary
Fields Modifier and Type Field Description static int
DEFAULT_TIMEOUT
-
Constructor Summary
Constructors Constructor Description FolParserTest()
-
Method Summary
Modifier and Type Method Description void
ContradictionTest()
void
EmptyQuantificationTest()
void
EqualityPredicateTest()
void
ImplicationTest()
void
initParser()
void
NestedQuantifiedFormulaTest()
void
ParseBeliefBaseFromFileTest()
void
ParseExistsQuantificationTest()
void
ParseForallQuantificationTest()
void
TautologyTest()
void
WrongArityTest()
void
XorTest()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
Method Detail
-
initParser
public void initParser()
-
ParseForallQuantificationTest
public void ParseForallQuantificationTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ParseExistsQuantificationTest
public void ParseExistsQuantificationTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
EqualityPredicateTest
public void EqualityPredicateTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
TautologyTest
public void TautologyTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ContradictionTest
public void ContradictionTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ImplicationTest
public void ImplicationTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
XorTest
public void XorTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
NestedQuantifiedFormulaTest
public void NestedQuantifiedFormulaTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ParseBeliefBaseFromFileTest
public void ParseBeliefBaseFromFileTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
EmptyQuantificationTest
public void EmptyQuantificationTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
WrongArityTest
public void WrongArityTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-