Class WindowInconsistencyMeasurementProcess<S extends Formula>

  • 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
    • Nested Class Summary

      • Nested classes/interfaces inherited from class java.lang.Thread

        java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler
    • 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 java.lang.Thread

        MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
    • Method Summary

      Modifier and Type Method Description
      java.lang.String toString()  
      • 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
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • 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
    • Constructor Detail

      • WindowInconsistencyMeasurementProcess

        public WindowInconsistencyMeasurementProcess()