Package net.sf.tweety.logics.cl.examples

Class ReasonerExample

  • public class ReasonerExample
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static ClBeliefSet[] beliefSets  
      private static boolean compare  
      private static java.lang.String[] descriptions  
      private static java.lang.String[] entries  
      private static boolean run  

    • Constructor Summary

      Constructors 
      Constructor Description
      ReasonerExample()  

    • Method Summary

      Modifier and Type Method Description
      private static void init()  
      static void main​(java.lang.String[] args)  
      private static void printDescription()  
      private static void printStatus()  
      private static void test​(ClBeliefSet beliefset)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • run

        private static boolean run

      • compare

        private static boolean compare

      • entries

        private static final java.lang.String[] entries

      • descriptions

        private static final java.lang.String[] descriptions

    • Constructor Detail

      • ReasonerExample

        public ReasonerExample()

    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                 throws java.io.IOException
        Throws:
        java.io.IOException

      • init

        private static void init()

      • printStatus

        private static void printStatus()

      • printDescription

        private static void printDescription()

      • test

        private static void test​(ClBeliefSet beliefset)