Package net.sf.tweety.lp.asp.beliefdynamics.revision

Class CredibilityTest

  • public class CredibilityTest
extends java.lang.Object
    Tests the revision method described in Kruempelmann et al. 2008. The two examples of Kruempelmann et al. 2008 are used.
    Author:
    Tim Janus

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static org.slf4j.Logger LOG
      The logger used for output in the angerona Framework
      private java.lang.String pre  
      private CredibilityRevision revision  

    • Constructor Summary

      Constructors 
      Constructor Description
      CredibilityTest()  

    • Method Summary

      Modifier and Type Method Description
      void initTest()  
      private Program loadFromJar​(java.lang.String filename)  
      void testKrue2008Ex1()  
      void testKrue2008Ex2()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • LOG

        private static org.slf4j.Logger LOG
        The logger used for output in the angerona Framework

      • pre

        private java.lang.String pre

    • Constructor Detail

      • CredibilityTest

        public CredibilityTest()

    • Method Detail

      • initTest

        public void initTest()

      • loadFromJar

        private Program loadFromJar​(java.lang.String filename)

      • testKrue2008Ex1

        public void testKrue2008Ex1()

      • testKrue2008Ex2

        public void testKrue2008Ex2()