ContensionInconsistencyMeasurementProcess

java.lang.Object
- java.lang.Thread
- - net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<PlFormula>
  - - net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

All Implemented Interfaces:

java.lang.Runnable
```
public class ContensionInconsistencyMeasurementProcess
extends InconsistencyMeasurementProcess<PlFormula>
```
Implements an approximation algorithm for the Contension 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_KEY_NUMBEROFPOPULATIONS`	Configuration key for the number of populations tried out.
`static java.lang.String`	`CONFIG_KEY_SIGNATURE`	Configuration key for the signature.
`static java.lang.String`	`CONFIG_KEY_WITNESSPROVIDER`	Configuration key for the consistency tester.
`static java.lang.String`	`CONFIG_SMOOTHINGFACTOR`	Key for the configuration map that points to the smoothing factor to be used.

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

ContensionInconsistencyMeasurementProcess()

Method Summary

Modifier and Type Method Description

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

- Field Detail
  - CONFIG_KEY_SIGNATURE
```
public static final java.lang.String CONFIG_KEY_SIGNATURE
```
    Configuration key for the signature.
    
    See Also:
    
    Constant Field Values
  - CONFIG_KEY_WITNESSPROVIDER
```
public static final java.lang.String CONFIG_KEY_WITNESSPROVIDER
```
    Configuration key for the consistency tester.
    
    See Also:
    
    Constant Field Values
  - CONFIG_KEY_NUMBEROFPOPULATIONS
```
public static final java.lang.String CONFIG_KEY_NUMBEROFPOPULATIONS
```
    Configuration key for the number of populations tried out.
    
    See Also:
    
    Constant Field Values
  - CONFIG_SMOOTHINGFACTOR
```
public static final java.lang.String CONFIG_SMOOTHINGFACTOR
```
    Key for the configuration map that points to the smoothing factor to be used. if X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by X=X1*smoothingFactor + X2*(1-smoothingFactor). This value should be between 0 and 1. If it is -1 no smoothing is done (the same as setting the smoothing factor to 0.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - ContensionInconsistencyMeasurementProcess
```
public ContensionInconsistencyMeasurementProcess()
```
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Specified by:
    
    toString in class InconsistencyMeasurementProcess<PlFormula>