Class TranslateTest

java.lang.Object

org.tweetyproject.logics.translators.folprop.TranslateTest

public class TranslateTest
extends Object

Tests the FOLPropTranslator

Author:

Tim Janus

Constructor Summary

Constructors

Constructor	Description
TranslateTest()

Method Summary

Modifier and Type	Method	Description
void	testDisjunctionFOLtoProp()
void	testFOLToPropAtomTranslation()
void	testFOLToPropAtomTranslationFAILCauseArgs()
void	testNestedConjunction()
void	testPropToFOLAtomTranslation()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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()