Class TranslateTest


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