Package net.sf.tweety.logics.commons.analysis.streams

Class InconsistencyMeasurementProcess<S extends Formula>

java.lang.Object

java.lang.Thread

net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>

Type Parameters:

S - The type of formulas.

All Implemented Interfaces:

java.lang.Runnable

Direct Known Subclasses:

ContensionInconsistencyMeasurementProcess, HsInconsistencyMeasurementProcess, WindowInconsistencyMeasurementProcess

public abstract class InconsistencyMeasurementProcess<S extends Formula>
extends java.lang.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

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.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.
java.lang.Double	getInconsistencyValue()	Returns the current inconsistency value of this stream processing or the last value if the stream processing has finalized.
void	run()
abstract 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_TIMEOUT

public static final java.lang.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 Detail

InconsistencyMeasurementProcess

public InconsistencyMeasurementProcess()

Creates a new process for the given stream.

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Thread

abort

public void abort()

Aborts the measurement of a stream.

getInconsistencyValue

public java.lang.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.