net.sf.tweety.logics.pl.examples

Class StreamInconsistencyEvaluationExample

java.lang.Object

net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

public class StreamInconsistencyEvaluationExample
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	BELIEFSET_PATH
static double	CNF_RATIO
static int	NUMBER_OF_ITERATIONS
static String	RESULT_PATH
static int	SIGNATURE_SIZE
static int	SIZE_OF_KNOWLEDGEBASES
static int	STANDARD_EVENTS
static double	STANDARD_SMOOTHING_FACTOR
static long	TIMEOUT
static String	TMP_FILE_FOLDER

Constructor Summary

Constructors

Constructor and Description
StreamInconsistencyEvaluationExample()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

SIGNATURE_SIZE

public static final int SIGNATURE_SIZE

See Also:

Constant Field Values

CNF_RATIO

public static final double CNF_RATIO

See Also:

Constant Field Values

NUMBER_OF_ITERATIONS

public static final int NUMBER_OF_ITERATIONS

See Also:

Constant Field Values

SIZE_OF_KNOWLEDGEBASES

public static final int SIZE_OF_KNOWLEDGEBASES

See Also:

Constant Field Values

STANDARD_SMOOTHING_FACTOR

public static final double STANDARD_SMOOTHING_FACTOR

See Also:

Constant Field Values

STANDARD_EVENTS

public static final int STANDARD_EVENTS

See Also:

Constant Field Values

RESULT_PATH

public static final String RESULT_PATH

See Also:

Constant Field Values

BELIEFSET_PATH

public static final String BELIEFSET_PATH

See Also:

Constant Field Values

TMP_FILE_FOLDER

public static final String TMP_FILE_FOLDER

See Also:

Constant Field Values

TIMEOUT

public static final long TIMEOUT

See Also:

Constant Field Values

Constructor Detail

StreamInconsistencyEvaluationExample

public StreamInconsistencyEvaluationExample()

Method Detail

main

public static void main(String[] args)
                 throws InterruptedException

Throws:

InterruptedException