Class TranslateTest

java.lang.Object
org.tweetyproject.logics.translators.folprop.TranslateTest

public class TranslateTest extends Object
Tests the FOLPropTranslator
Author:
Tim Janus
  • 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()