Package net.sf.tweety.arg.rankings
Class RankingReasonerTest
- java.lang.Object
-
- net.sf.tweety.arg.rankings.RankingReasonerTest
-
public class RankingReasonerTest extends java.lang.Object
Test class for checking counterexamples for some postulates.- Author:
- Anna Gessler
-
-
Field Summary
Fields Modifier and Type Field Description static int
DEFAULT_TIMEOUT
-
Constructor Summary
Constructors Constructor Description RankingReasonerTest()
-
Method Summary
Modifier and Type Method Description void
AvsFDCounterexampleTest()
void
DDPCounterexampleTest()
void
DiscussionBurdenExample()
void
DPandQPCounterexampleTest()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
Method Detail
-
DPandQPCounterexampleTest
public void DPandQPCounterexampleTest() throws java.lang.Exception
- Throws:
java.lang.Exception
-
DDPCounterexampleTest
public void DDPCounterexampleTest() throws java.lang.Exception
- Throws:
java.lang.Exception
-
AvsFDCounterexampleTest
public void AvsFDCounterexampleTest() throws java.lang.Exception
- Throws:
java.lang.Exception
-
DiscussionBurdenExample
public void DiscussionBurdenExample() throws java.lang.Exception
- Throws:
java.lang.Exception
-
-