public class FolParserTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_TIMEOUT |
(package private) FolParser |
parser |
Constructor and Description |
---|
FolParserTest() |
Modifier and Type | Method and Description |
---|---|
void |
ContradictionTest() |
void |
EmptyQuantificationTest() |
void |
initParser() |
void |
NestedQuantifiedFormulaTest() |
void |
ParseBeliefBaseFromFileTest() |
void |
ParseExistsQuantificationTest() |
void |
ParseForallQuantificationTest() |
void |
TautologyTest() |
void |
WrongArityTest() |
FolParser parser
public static final int DEFAULT_TIMEOUT
public void initParser()
public void ParseForallQuantificationTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ParseExistsQuantificationTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void TautologyTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ContradictionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void NestedQuantifiedFormulaTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ParseBeliefBaseFromFileTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void EmptyQuantificationTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void WrongArityTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException