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 Details

  • 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