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

Field Summary

Fields

Modifier and Type	Field	Description
private static FOLPropTranslator	translator

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

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

Field Detail

translator

private static FOLPropTranslator translator

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