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.StringBELIEFSET_PATHstatic doubleCNF_RATIOstatic intNUMBER_OF_ITERATIONSstatic java.lang.StringRESULT_PATHstatic intSIGNATURE_SIZEstatic intSIZE_OF_KNOWLEDGEBASESstatic BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double>STANDARD_AGGFUNCTIONstatic intSTANDARD_EVENTSstatic longTIMEOUTstatic java.lang.StringTMP_FILE_FOLDER
-
Constructor Summary
Constructors Constructor Description StreamInconsistencyEvaluationExample2()
-
Method Summary
Modifier and Type Method Description static voidmain(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_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
-
-