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

Field Summary

Fields

Modifier and Type	Field and Description
(package private) FolFormulaGenerator	folfg
(package private) PlFormulaGenerator	pfg

Constructor Summary

Constructors

Constructor and Description
AspicTest()

Method Summary

Modifier and Type	Method and Description
void	ArgSysTest()
void	AttackTest()
void	ComplementTest()
void	DerivationGraphTest()
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	FolFormulaGeneratorTest()
void	ManualTest()
void	ParserTest1()
void	ParserTest2()
void	PropositionalFormulaGeneratorTest()
void	ReasonerTest()
void	ReasonerTest2()
void	SimpleOrderTest()

Methods inherited from class java.lang.Object

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

Field Detail

pfg

final PlFormulaGenerator pfg

folfg

final FolFormulaGenerator folfg

Constructor Detail

AspicTest

public AspicTest()

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

Example2

public void Example2()
              throws java.lang.Exception

Implements example 3.25 from Modgil and Prakken

Throws:

java.lang.Exception

Example3

public void Example3()
              throws java.lang.Exception

Implements example 3.26 from Modgil and Prakken

Throws:

java.lang.Exception

Example4

public void Example4()
              throws java.lang.Exception

Implements example 4.1 from Modgil and Prakken

Throws:

java.lang.Exception

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

DerivationGraphTest

public void DerivationGraphTest()
                         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

FolFormulaGeneratorTest

public void FolFormulaGeneratorTest()
                             throws java.lang.Exception

Throws:

java.lang.Exception

SimpleOrderTest

public void SimpleOrderTest()
                     throws java.lang.Exception

Throws:

java.lang.Exception

ReasonerTest

public void ReasonerTest()
                  throws java.lang.Exception

Throws:

java.lang.Exception

ReasonerTest2

public void ReasonerTest2()
                   throws java.lang.Exception

Throws:

java.lang.Exception