Class WindowInconsistencyMeasurementProcess<S extends Formula>
- java.lang.Object
-
- java.lang.Thread
-
- net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>
-
- net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<S>
-
- Type Parameters:
S
- The type of formulas
- All Implemented Interfaces:
java.lang.Runnable
- Direct Known Subclasses:
PlWindowInconsistencyMeasurementProcess
public abstract class WindowInconsistencyMeasurementProcess<S extends Formula> extends InconsistencyMeasurementProcess<S>
This inconsistency measurement process keeps a window of a number of previous formulas in memory and computes the inconsistency value from this window using an ordinary inconsistency measure.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
CONFIG_AGGREGATIONFUNCTION
Key for the configuration map that points to the aggregation function used.static java.lang.String
CONFIG_MEASURE
Key for the configuration map that points to the inconsistency measure to be used.static java.lang.String
CONFIG_NAME
Key for the configuration map that points to the name to be used.static java.lang.String
CONFIG_WINDOWSIZE
Key for the configuration map that points to the window size to be used.-
Fields inherited from class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
CONFIG_TIMEOUT
-
-
Constructor Summary
Constructors Constructor Description WindowInconsistencyMeasurementProcess()
-
Method Summary
Modifier and Type Method Description java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
abort, getInconsistencyValue, run
-
Methods inherited from class java.lang.Thread
activeCount, checkAccess, countStackFrames, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, onSpinWait, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, suspend, yield
-
-
-
-
Field Detail
-
CONFIG_MEASURE
public static final java.lang.String CONFIG_MEASURE
Key for the configuration map that points to the inconsistency measure to be used.- See Also:
- Constant Field Values
-
CONFIG_WINDOWSIZE
public static final java.lang.String CONFIG_WINDOWSIZE
Key for the configuration map that points to the window size to be used.- See Also:
- Constant Field Values
-
CONFIG_AGGREGATIONFUNCTION
public static final java.lang.String CONFIG_AGGREGATIONFUNCTION
Key for the configuration map that points to the aggregation function used. If X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by aggregating X1 and X2 with this function. If none is given the maximum function is assumed.- See Also:
- Constant Field Values
-
CONFIG_NAME
public static final java.lang.String CONFIG_NAME
Key for the configuration map that points to the name to be used.- See Also:
- Constant Field Values
-
-
Method Detail
-
toString
public java.lang.String toString()
- Specified by:
toString
in classInconsistencyMeasurementProcess<S extends Formula>
-
-