Class HsInconsistencyMeasurementProcess

  • All Implemented Interfaces:
    java.lang.Runnable

    public class HsInconsistencyMeasurementProcess
    extends InconsistencyMeasurementProcess<PlFormula>
    Implements an approximation algorithm for the Hs 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
      protected void init​(java.util.Map<java.lang.String,​java.lang.Object> config)
      Additional initialization statements are put here.
      java.lang.String toString()  
      protected double update​(PlFormula formula)
      Updates the inconsistency value with the new formula.
      • Methods inherited from class java.lang.Thread

        activeCount, checkAccess, clone, 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, finalize, 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_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
      • hittingSets

        private java.util.Collection<java.util.List<PossibleWorld>> hittingSets
        The current candidate populations for a hitting set.
      • sig

        private PlSignature sig
        The signature of the formulas.
      • rand

        private java.util.Random rand
        For randomization.
      • smoothingFactor

        private double smoothingFactor
        Whether the inconsistency value should be smoothed: 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.
      • currentValue

        private double currentValue
        Current inconsistency value.
      • numFormulas

        private int numFormulas
        The number of formulas encountered.
      • numberOfPopulations

        private int numberOfPopulations
        The number of populations.
    • Constructor Detail

      • HsInconsistencyMeasurementProcess

        public HsInconsistencyMeasurementProcess()