public class ABATest
extends java.lang.Object
Constructor and Description |
---|
ABATest() |
Modifier and Type | Method and Description |
---|---|
void |
AttackTest() |
void |
ClosureTest() |
void |
DeductionTest1() |
void |
DeductionTest2() |
void |
Example11() |
void |
Example3() |
void |
Example4() |
void |
Example5() |
void |
ParserTest() |
void |
ReasonerTest() |
void |
SetUp() |
void |
ToDungTheoryMethodTest() |
public void SetUp()
public void ParserTest() throws java.lang.Exception
java.lang.Exception
public void DeductionTest1() throws java.lang.Exception
java.lang.Exception
public void DeductionTest2() throws java.lang.Exception
java.lang.Exception
public void AttackTest() throws java.lang.Exception
java.lang.Exception
public void ToDungTheoryMethodTest() throws java.lang.Exception
java.lang.Exception
public void ReasonerTest() throws java.lang.Exception
java.lang.Exception
public void ClosureTest() 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 Example5() throws java.lang.Exception
java.lang.Exception
public void Example11() throws java.lang.Exception
java.lang.Exception