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
(package private) FolParser
parser
-
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()
-
-
-
Field Detail
-
parser
FolParser parser
-
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
-
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
-
-