Package net.sf.tweety.logics.pl.analysis

Class PlWindowInconsistencyMeasurementProcess

java.lang.Object

java.lang.Thread

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

net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<PlFormula>

net.sf.tweety.logics.pl.analysis.PlWindowInconsistencyMeasurementProcess

All Implemented Interfaces:

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

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

Field Summary

Fields inherited from class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

CONFIG_AGGREGATIONFUNCTION, CONFIG_MEASURE, CONFIG_NAME, CONFIG_WINDOWSIZE

Fields inherited from class net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

toString

Methods inherited from class net.sf.tweety.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 Detail

PlWindowInconsistencyMeasurementProcess

public PlWindowInconsistencyMeasurementProcess()