Class RankingReasonerTest


  • public class RankingReasonerTest
    extends java.lang.Object
    Test class for checking counterexamples for some postulates.
    Author:
    Anna Gessler
    • Constructor Detail

      • RankingReasonerTest

        public RankingReasonerTest()
    • 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