Package org.tweetyproject.arg.aspic

Class AspicTest

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

  • Constructor Details

    • AspicTest

      public AspicTest()

  • Method Details

    • Example1

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

    • Example2

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

    • Example3

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

    • Example4

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

    • ManualTest

      public void ManualTest()

    • ComplementTest

      public void ComplementTest()

    • ParserTest1

      public void ParserTest1() throws Exception
      Throws:
      Exception

    • ParserTest2

      public void ParserTest2() throws Exception
      Throws:
      Exception

    • ArgSysTest

      public void ArgSysTest() throws Exception
      Throws:
      Exception

    • AttackTest

      public void AttackTest() throws Exception
      Throws:
      Exception

    • PropositionalFormulaGeneratorTest

      public void PropositionalFormulaGeneratorTest() throws Exception
      Throws:
      Exception

    • SimpleOrderTest

      public void SimpleOrderTest() throws Exception
      Throws:
      Exception

    • ReasonerTest2

      public void ReasonerTest2() throws Exception
      Throws:
      Exception

    • directionalReasonerTest

      public void directionalReasonerTest() throws Exception
      Throws:
      Exception