Package net.sf.tweety.arg.aspic
Class AspicTest
- java.lang.Object
-
- net.sf.tweety.arg.aspic.AspicTest
-
public class AspicTest extends java.lang.Object
- Author:
- Nils Geilen Several JUnit test for the package arg.aspic
-
-
Constructor Summary
Constructors Constructor Description AspicTest()
-
Method Summary
Modifier and Type Method Description void
ArgSysTest()
void
AttackTest()
void
ComplementTest()
void
directionalReasonerTest()
void
Example1()
Implements examples 3.7, 3.9 and 3.11 from Modgil and Prakkenvoid
Example2()
Implements example 3.25 from Modgil and Prakkenvoid
Example3()
Implements example 3.26 from Modgil and Prakkenvoid
Example4()
Implements example 4.1 from Modgil and Prakkenvoid
ManualTest()
void
ParserTest1()
void
ParserTest2()
void
PropositionalFormulaGeneratorTest()
void
ReasonerTest2()
void
SimpleOrderTest()
-
-
-
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
-
-