Package 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 Description static StringBELIEFSET_PATHstatic doubleCNF_RATIOstatic intNUMBER_OF_ITERATIONSstatic StringRESULT_PATHstatic intSIGNATURE_SIZEstatic intSIZE_OF_KNOWLEDGEBASESstatic intSTANDARD_EVENTSstatic doubleSTANDARD_SMOOTHING_FACTORstatic longTIMEOUTstatic StringTMP_FILE_FOLDER
-
Constructor Summary
Constructors Constructor Description StreamInconsistencyEvaluationExample()
-
-
-
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
-
-
Method Detail
-
main
public static void main(String[] args) throws InterruptedException
- Throws:
InterruptedException
-
-