Class ContensionInconsistencyMeasurementProcess

  • All Implemented Interfaces:
    java.lang.Runnable

    public class ContensionInconsistencyMeasurementProcess
    extends InconsistencyMeasurementProcess<PlFormula>
    Implements an approximation algorithm for the Contension inconsistency measure on streams.
    Author:
    Matthias Thimm
    • Nested Class Summary

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

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

        public static final java.lang.String CONFIG_KEY_SIGNATURE
        Configuration key for the signature.
        See Also:
        Constant Field Values
      • CONFIG_KEY_WITNESSPROVIDER

        public static final java.lang.String CONFIG_KEY_WITNESSPROVIDER
        Configuration key for the consistency tester.
        See Also:
        Constant Field Values
      • CONFIG_KEY_NUMBEROFPOPULATIONS

        public static final java.lang.String CONFIG_KEY_NUMBEROFPOPULATIONS
        Configuration key for the number of populations tried out.
        See Also:
        Constant Field Values
      • CONFIG_SMOOTHINGFACTOR

        public static final java.lang.String CONFIG_SMOOTHINGFACTOR
        Key for the configuration map that points to the smoothing factor to be 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 X=X1*smoothingFactor + X2*(1-smoothingFactor). This value should be between 0 and 1. If it is -1 no smoothing is done (the same as setting the smoothing factor to 0.
        See Also:
        Constant Field Values
    • Constructor Detail

      • ContensionInconsistencyMeasurementProcess

        public ContensionInconsistencyMeasurementProcess()