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<PropositionalFormula>

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

All Implemented Interfaces:

Runnable

public class PlWindowInconsistencyMeasurementProcess
extends net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<PropositionalFormula>

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 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 and Description
PlWindowInconsistencyMeasurementProcess()

Method Summary

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

init, toString, update

Methods inherited from class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess

abort, getInconsistencyValue, init, run

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, yield

Methods inherited from class java.lang.Object

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

Constructor Detail

PlWindowInconsistencyMeasurementProcess

public PlWindowInconsistencyMeasurementProcess()