public class PlWindowInconsistencyMeasurementProcess extends WindowInconsistencyMeasurementProcess<PropositionalFormula>
CONFIG_AGGREGATIONFUNCTION, CONFIG_MEASURE, CONFIG_NAME, CONFIG_WINDOWSIZE
CONFIG_TIMEOUT
Constructor and Description |
---|
PlWindowInconsistencyMeasurementProcess() |
init, toString, update
abort, getInconsistencyValue, init, run
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