Class InconsistencyMeasurementProcess<S extends Formula>

java.lang.Object
java.lang.Thread
org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>
Type Parameters:
S - The type of formulas.
All Implemented Interfaces:
Runnable
Direct Known Subclasses:
ContensionInconsistencyMeasurementProcess, HsInconsistencyMeasurementProcess, WindowInconsistencyMeasurementProcess

public abstract class InconsistencyMeasurementProcess<S extends Formula> extends Thread
The actual process of an inconsistency measure on streams.
Author:
Matthias Thimm
  • Field Details

    • CONFIG_TIMEOUT

      public static final String CONFIG_TIMEOUT
      Key for the configuration map that gives a time out (given in seconds) for a single update operation Default value is -1 which means no time out.
      See Also:
  • Constructor Details

    • InconsistencyMeasurementProcess

      public InconsistencyMeasurementProcess()
      Creates a new process for the given stream.
  • Method Details

    • run

      public void run()
      Specified by:
      run in interface Runnable
      Overrides:
      run in class Thread
    • toString

      public abstract String toString()
      Overrides:
      toString in class Thread
    • abort

      public void abort()
      Aborts the measurement of a stream.
    • getInconsistencyValue

      public Double getInconsistencyValue()
      Returns the current inconsistency value of this stream processing or the last value if the stream processing has finalized.
      Returns:
      the current inconsistency value.