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 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 Prakken
void	Example2()	Implements example 3.25 from Modgil and Prakken
void	Example3()	Implements example 3.26 from Modgil and Prakken
void	Example4()	Implements example 4.1 from Modgil and Prakken
void	ManualTest()
void	ParserTest1()
void	ParserTest2()
void	PropositionalFormulaGeneratorTest()
void	ReasonerTest2()
void	SimpleOrderTest()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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