public class TranslateTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static FOLPropTranslator |
translator |
Constructor and Description |
---|
TranslateTest() |
Modifier and Type | Method and Description |
---|---|
void |
testDisjunctionFOLtoProp() |
void |
testFOLToPropAtomTranslation() |
void |
testFOLToPropAtomTranslationFAILCauseArgs() |
void |
testNestedConjunction() |
void |
testPropToFOLAtomTranslation() |
private static FOLPropTranslator translator
public void testPropToFOLAtomTranslation()
public void testFOLToPropAtomTranslation()
public void testFOLToPropAtomTranslationFAILCauseArgs()
public void testDisjunctionFOLtoProp()
public void testNestedConjunction()