net.sf.tweety.logics.commons.analysis.streams

Class 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 and Description
(package private) S	formula
(package private) InconsistencyMeasurementProcess<S>	imp

Constructor Summary

Constructors

Constructor and Description
UpdateCallee(InconsistencyMeasurementProcess<S> imp, S formula)

Method Summary

Modifier and Type	Method and 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