Package net.sf.tweety.logics.cl.examples
Class ReasonerExample
- java.lang.Object
-
- net.sf.tweety.logics.cl.examples.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)
-
-
-
Field Detail
-
run
private static boolean run
-
compare
private static boolean compare
-
entries
private static final java.lang.String[] entries
-
beliefSets
private static ClBeliefSet[] beliefSets
-
descriptions
private static final java.lang.String[] descriptions
-
-
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)
-
-