AbaTest

java.lang.Object

org.tweetyproject.arg.aba.AbaTest

public class AbaTest extends 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()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- AbaTest
  
  public AbaTest()
Method Details
- SetUp
  
  public void SetUp()
- PlParserTest
  
  public void PlParserTest() throws Exception
  
  Throws:
  
  Exception
- FolParserTest
  
  public void FolParserTest() throws Exception
  
  Throws:
  
  Exception
- DeductionTest1
  
  public void DeductionTest1() throws Exception
  
  Throws:
  
  Exception
- DeductionTest2
  
  public void DeductionTest2() throws Exception
  
  Throws:
  
  Exception
- AttackTest
  
  public void AttackTest() throws Exception
  
  Throws:
  
  Exception
- ToDungTheoryMethodTest
  
  public void ToDungTheoryMethodTest() throws Exception
  
  Throws:
  
  Exception
- ReasonerTest
  
  public void ReasonerTest() throws Exception
  
  Throws:
  
  Exception
- ClosureTest
  
  public void ClosureTest() throws Exception
  
  Throws:
  
  Exception
- Example3
  
  public void Example3() throws Exception
  
  Throws:
  
  Exception
- Example4
  
  public void Example4() throws Exception
  
  Throws:
  
  Exception
- Example5
  
  public void Example5() throws Exception
  
  Throws:
  
  Exception
- Example11
  
  public void Example11() throws Exception
  
  Throws:
  
  Exception