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

Class StreamInconsistencyEvaluationExample2

java.lang.Object

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

public class StreamInconsistencyEvaluationExample2
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	BELIEFSET_PATH
static double	CNF_RATIO
static int	NUMBER_OF_ITERATIONS
static java.lang.String	RESULT_PATH
static int	SIGNATURE_SIZE
static int	SIZE_OF_KNOWLEDGEBASES
static BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double>	STANDARD_AGGFUNCTION
static int	STANDARD_EVENTS
static long	TIMEOUT
static java.lang.String	TMP_FILE_FOLDER

Constructor Summary

Constructors

Constructor	Description
StreamInconsistencyEvaluationExample2()

Method Summary

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

Methods inherited from class java.lang.Object

equals, 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 BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double> STANDARD_AGGFUNCTION

STANDARD_EVENTS

public static final int STANDARD_EVENTS

See Also:

Constant Field Values

RESULT_PATH

public static final java.lang.String RESULT_PATH

See Also:

Constant Field Values

BELIEFSET_PATH

public static final java.lang.String BELIEFSET_PATH

See Also:

Constant Field Values

TMP_FILE_FOLDER

public static final java.lang.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(java.lang.String[] args)
                 throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException