RankingReasonerTest

java.lang.Object

org.tweetyproject.arg.rankings.RankingReasonerTest

public class RankingReasonerTest extends Object

Test class for checking counterexamples for some postulates.

Author:: Anna Gessler

Field Summary

Fields

Modifier and Type

Field

Description

static final int

DEFAULT_TIMEOUT
Constructor Summary

Constructors

Constructor

Description

RankingReasonerTest()
Method Summary

Modifier and Type

Method

Description

void

AvsFDCounterexampleTest()

void

DDPCounterexampleTest()

void

DiscussionBurdenExample()

void

DPandQPCounterexampleTest()

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

Field Details
- DEFAULT_TIMEOUT
  public static final int DEFAULT_TIMEOUT
  
  See Also:
  
  Constant Field Values
Constructor Details
- RankingReasonerTest
  
  public RankingReasonerTest()
Method Details
- DPandQPCounterexampleTest
  
  public void DPandQPCounterexampleTest() throws Exception
  
  Throws:
  
  Exception
- DDPCounterexampleTest
  
  public void DDPCounterexampleTest() throws Exception
  
  Throws:
  
  Exception
- AvsFDCounterexampleTest
  
  public void AvsFDCounterexampleTest() throws Exception
  
  Throws:
  
  Exception
- DiscussionBurdenExample
  
  public void DiscussionBurdenExample() throws Exception
  
  Throws:
  
  Exception