TranslateTest

public class TranslateTest
extends java.lang.Object

Tests the FOLPropTranslator

Fields
Modifier and Type	Field and Description
`private static FOLPropTranslator`	`translator`

Constructors
Constructor and Description
`TranslateTest()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`testDisjunctionFOLtoProp()`
`void`	`testFOLToPropAtomTranslation()`
`void`	`testFOLToPropAtomTranslationFAILCauseArgs()`
`void`	`testNestedConjunction()`
`void`	`testPropToFOLAtomTranslation()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private static FOLPropTranslator translator

public void testPropToFOLAtomTranslation()

public void testFOLToPropAtomTranslation()

public void testFOLToPropAtomTranslationFAILCauseArgs()

public void testDisjunctionFOLtoProp()

Class TranslateTest