Class AbaTest


  • public class AbaTest
    extends java.lang.Object
    Test class for ABA.
    Author:
    Nils Geilen (geilenn@uni-koblenz.de), Anna Gessler
    • Constructor Detail

      • AbaTest

        public AbaTest()
    • Method Detail

      • SetUp

        public void SetUp()
      • PlParserTest

        public void PlParserTest()
                          throws java.lang.Exception
        Throws:
        java.lang.Exception
      • FolParserTest

        public void FolParserTest()
                           throws java.lang.Exception
        Throws:
        java.lang.Exception
      • DeductionTest1

        public void DeductionTest1()
                            throws java.lang.Exception
        Throws:
        java.lang.Exception
      • DeductionTest2

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

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

        public void ToDungTheoryMethodTest()
                                    throws java.lang.Exception
        Throws:
        java.lang.Exception
      • ReasonerTest

        public void ReasonerTest()
                          throws java.lang.Exception
        Throws:
        java.lang.Exception
      • ClosureTest

        public void ClosureTest()
                         throws java.lang.Exception
        Throws:
        java.lang.Exception
      • Example3

        public void Example3()
                      throws java.lang.Exception
        Throws:
        java.lang.Exception
      • Example4

        public void Example4()
                      throws java.lang.Exception
        Throws:
        java.lang.Exception
      • Example5

        public void Example5()
                      throws java.lang.Exception
        Throws:
        java.lang.Exception
      • Example11

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