public class AspicTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) FolFormulaGenerator |
folfg |
(package private) PlFormulaGenerator |
pfg |
Constructor and Description |
---|
AspicTest() |
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() |
final PlFormulaGenerator pfg
final FolFormulaGenerator folfg
public void Example1() throws java.lang.Exception
java.lang.Exception
public void Example2() throws java.lang.Exception
java.lang.Exception
public void Example3() throws java.lang.Exception
java.lang.Exception
public void Example4() throws java.lang.Exception
java.lang.Exception
public void ManualTest()
public void ComplementTest() throws java.lang.Exception
java.lang.Exception
public void ParserTest1() throws java.lang.Exception
java.lang.Exception
public void ParserTest2() throws java.lang.Exception
java.lang.Exception
public void DerivationGraphTest() throws java.lang.Exception
java.lang.Exception
public void ArgSysTest() throws java.lang.Exception
java.lang.Exception
public void AttackTest() throws java.lang.Exception
java.lang.Exception
public void PropositionalFormulaGeneratorTest() throws java.lang.Exception
java.lang.Exception
public void FolFormulaGeneratorTest() throws java.lang.Exception
java.lang.Exception
public void SimpleOrderTest() throws java.lang.Exception
java.lang.Exception
public void ReasonerTest() throws java.lang.Exception
java.lang.Exception
public void ReasonerTest2() throws java.lang.Exception
java.lang.Exception