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