Class 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