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

Nested Class Summary

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

Thread.Builder, Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field	Description
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.

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor	Description
InconsistencyMeasurementProcess()	Creates a new process for the given stream.

Method Summary

Modifier and Type	Method	Description
void	abort()	Aborts the measurement of a stream.
Double	getInconsistencyValue()	Returns the current inconsistency value of this stream processing or the last value if the stream processing has finalized.
void	run()
abstract String	toString()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, isVirtual, join, join, join, join, ofPlatform, ofVirtual, onSpinWait, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, sleep, start, startVirtualThread, stop, threadId, yield

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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:

• Constant Field Values

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.