Package net.sf.tweety.arg.aba
Class AbaTest
- java.lang.Object
-
- net.sf.tweety.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()
-
-
-
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
-
-