Package org.tweetyproject.logics.pl.analysis

Class PlWindowInconsistencyMeasurementProcess

java.lang.Object

java.lang.Thread

org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>

org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<PlFormula>

org.tweetyproject.logics.pl.analysis.PlWindowInconsistencyMeasurementProcess

All Implemented Interfaces:

Runnable

public class PlWindowInconsistencyMeasurementProcess
extends WindowInconsistencyMeasurementProcess<PlFormula>

A window inconsistency measurement process for propositional logic (this class needs to be there as no generics are allowed when instantiating a DefaultStreamBasedInconsistencyMeasure.

Author:

Matthias Thimm

Nested Class Summary

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

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

CONFIG_AGGREGATIONFUNCTION, CONFIG_MEASURE, CONFIG_NAME, CONFIG_WINDOWSIZE

Fields inherited from class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess

CONFIG_TIMEOUT

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor	Description
PlWindowInconsistencyMeasurementProcess()

Method Summary

Methods inherited from class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

toString

Methods inherited from class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess

abort, getInconsistencyValue, run

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

Constructor Details

PlWindowInconsistencyMeasurementProcess

public PlWindowInconsistencyMeasurementProcess()