Class AspicTest


  • public class AspicTest
    extends java.lang.Object
    Author:
    Nils Geilen Several JUnit test for the package arg.aspic
    • Constructor Detail

      • AspicTest

        public AspicTest()
    • Method Detail

      • Example1

        public void Example1()
                      throws java.lang.Exception
        Implements examples 3.7, 3.9 and 3.11 from Modgil and Prakken
        Throws:
        java.lang.Exception - if something goes wrong
      • Example2

        public void Example2()
                      throws java.lang.Exception
        Implements example 3.25 from Modgil and Prakken
        Throws:
        java.lang.Exception - if something goes wrong
      • Example3

        public void Example3()
                      throws java.lang.Exception
        Implements example 3.26 from Modgil and Prakken
        Throws:
        java.lang.Exception - if something goes wrong
      • Example4

        public void Example4()
                      throws java.lang.Exception
        Implements example 4.1 from Modgil and Prakken
        Throws:
        java.lang.Exception - if something goes wrong
      • ManualTest

        public void ManualTest()
      • ComplementTest

        public void ComplementTest()
                            throws java.lang.Exception
        Throws:
        java.lang.Exception
      • ParserTest1

        public void ParserTest1()
                         throws java.lang.Exception
        Throws:
        java.lang.Exception
      • ParserTest2

        public void ParserTest2()
                         throws java.lang.Exception
        Throws:
        java.lang.Exception
      • ArgSysTest

        public void ArgSysTest()
                        throws java.lang.Exception
        Throws:
        java.lang.Exception
      • AttackTest

        public void AttackTest()
                        throws java.lang.Exception
        Throws:
        java.lang.Exception
      • PropositionalFormulaGeneratorTest

        public void PropositionalFormulaGeneratorTest()
                                               throws java.lang.Exception
        Throws:
        java.lang.Exception
      • SimpleOrderTest

        public void SimpleOrderTest()
                             throws java.lang.Exception
        Throws:
        java.lang.Exception
      • ReasonerTest2

        public void ReasonerTest2()
                           throws java.lang.Exception
        Throws:
        java.lang.Exception
      • directionalReasonerTest

        public void directionalReasonerTest()
                                     throws java.lang.Exception
        Throws:
        java.lang.Exception