Package org.tweetyproject.arg.aba

Class AbaTest

java.lang.Object

org.tweetyproject.arg.aba.AbaTest

public class AbaTest
extends java.lang.Object

Test class for ABA.

Author:

Nils Geilen (geilenn@uni-koblenz.de), Anna Gessler

Constructor Summary

Constructors

Constructor	Description
AbaTest()

Method Summary

Modifier and Type	Method	Description
void	AttackTest()
void	ClosureTest()
void	DeductionTest1()
void	DeductionTest2()
void	Example11()
void	Example3()
void	Example4()
void	Example5()
void	FolParserTest()
void	PlParserTest()
void	ReasonerTest()
void	SetUp()
void	ToDungTheoryMethodTest()

Methods inherited from class java.lang.Object

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

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