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

Field Summary

Fields

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

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()
private boolean	testDirectionalEquality(java.lang.String query, java.lang.String full, java.lang.String partial)

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 - 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

testDirectionalEquality

private boolean testDirectionalEquality(java.lang.String query,
                                        java.lang.String full,
                                        java.lang.String partial)
                                 throws ParserException,
                                        java.io.IOException

Throws:

ParserException

java.io.IOException