Class TranslateTest
java.lang.Object
org.tweetyproject.logics.translators.folprop.TranslateTest
Tests the FOLPropTranslator
- Author:
- Tim Janus
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
-
Constructor Details
-
TranslateTest
public TranslateTest()
-
-
Method Details
-
testPropToFOLAtomTranslation
public void testPropToFOLAtomTranslation() -
testFOLToPropAtomTranslation
public void testFOLToPropAtomTranslation() -
testFOLToPropAtomTranslationFAILCauseArgs
public void testFOLToPropAtomTranslationFAILCauseArgs() -
testDisjunctionFOLtoProp
public void testDisjunctionFOLtoProp() -
testNestedConjunction
public void testNestedConjunction()
-