Package net.sf.tweety.logics.pl.examples
Class StreamInconsistencyEvaluationExample
- java.lang.Object
-
- net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
-
public class StreamInconsistencyEvaluationExample 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 int
STANDARD_EVENTS
static double
STANDARD_SMOOTHING_FACTOR
static long
TIMEOUT
static java.lang.String
TMP_FILE_FOLDER
-
Constructor Summary
Constructors Constructor Description StreamInconsistencyEvaluationExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
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 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
-
-