Package org.tweetyproject.logics.ml
Class MlParserTest
java.lang.Object
org.tweetyproject.logics.ml.MlParserTest
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
void
void
void
void
-
Field Details
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT- See Also:
-
-
Constructor Details
-
MlParserTest
public MlParserTest()
-
-
Method Details
-
initParser
public void initParser() -
ParseModalFormulaTest
- Throws:
ParserException
IOException
-
XorModalTest
- Throws:
ParserException
IOException
-
NestedModalFormulaTest
- Throws:
ParserException
IOException
-
ParseBeliefBaseFromFileTest
- Throws:
ParserException
IOException
-
EmptyPossibilityTest
- Throws:
ParserException
IOException
-
EmptyNecessityTest
- Throws:
ParserException
IOException
-
MissingCharacterTest
- Throws:
ParserException
IOException
-
WrongCharacterOrderTest
- Throws:
ParserException
IOException
-