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 and 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 and Description
ReasonerExample()

Method Summary

Modifier and Type	Method and 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

beliefSets

private static ClBeliefSet[] beliefSets

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)