Package net.sf.tweety.logics.translators.folprop

Class TranslateTest

java.lang.Object

net.sf.tweety.logics.translators.folprop.TranslateTest

public class TranslateTest
extends java.lang.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 Detail

TranslateTest

public TranslateTest()

Method Detail

testPropToFOLAtomTranslation

public void testPropToFOLAtomTranslation()

testFOLToPropAtomTranslation

public void testFOLToPropAtomTranslation()

testFOLToPropAtomTranslationFAILCauseArgs

public void testFOLToPropAtomTranslationFAILCauseArgs()

testDisjunctionFOLtoProp

public void testDisjunctionFOLtoProp()

testNestedConjunction

public void testNestedConjunction()