Package net.sf.tweety.logics.pl.examples

Class StreamInconsistencyEvaluationExample2

java.lang.Object

net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

public class StreamInconsistencyEvaluationExample2
extends Object

Field Summary

Fields

Modifier and Type	Field	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 net.sf.tweety.math.func.BinaryFunction<Double,Double,Double>	STANDARD_AGGFUNCTION
static int	STANDARD_EVENTS
static long	TIMEOUT
static String	TMP_FILE_FOLDER

Constructor Summary

Constructors

Constructor	Description
StreamInconsistencyEvaluationExample2()

Method Summary

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

public static final net.sf.tweety.math.func.BinaryFunction<Double,Double,Double> STANDARD_AGGFUNCTION

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

StreamInconsistencyEvaluationExample2

public StreamInconsistencyEvaluationExample2()

Method Detail

main

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

Throws:

InterruptedException