InconsistencyMeasurementProcess.UpdateCallee

java.lang.Object
- net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee

All Implemented Interfaces:

java.util.concurrent.Callable<java.lang.Double>

Enclosing class:

InconsistencyMeasurementProcess<S extends Formula>
```
private class InconsistencyMeasurementProcess.UpdateCallee
extends java.lang.Object
implements java.util.concurrent.Callable<java.lang.Double>
```
For handling timeouts.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  (package private) S formula
  
  (package private) InconsistencyMeasurementProcess<S> imp
- Constructor Summary
  
  Constructors
  Constructor Description
  
  UpdateCallee(InconsistencyMeasurementProcess<S> imp, S formula)
- Method Summary
  
  Modifier and Type Method Description
  
  java.lang.Double call()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

imp

InconsistencyMeasurementProcess<S extends Formula> imp

formula
```
S extends Formula formula
```

Constructor Detail

UpdateCallee

public UpdateCallee(InconsistencyMeasurementProcess<S> imp,
                    S formula)

Method Detail
- call
```
public java.lang.Double call()
                      throws java.lang.Exception
```
  Specified by:
  
  call in interface java.util.concurrent.Callable<java.lang.Double>
  
  Throws:
  
  java.lang.Exception