Package net.sf.tweety.web.services
Class InconsistencyMeasurementService.MeasurementCallee
- java.lang.Object
-
- net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
-
- All Implemented Interfaces:
java.util.concurrent.Callable<java.lang.Double>
- Enclosing class:
- InconsistencyMeasurementService
private class InconsistencyMeasurementService.MeasurementCallee 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) BeliefSet<PlFormula,PlSignature>
beliefSet
(package private) InconsistencyMeasure<BeliefSet<PlFormula,?>>
measure
-
Constructor Summary
Constructors Constructor Description MeasurementCallee(InconsistencyMeasure<BeliefSet<PlFormula,?>> measure, BeliefSet<PlFormula,PlSignature> beliefSet)
-
Method Summary
Modifier and Type Method Description java.lang.Double
call()
-
-
-
Field Detail
-
measure
InconsistencyMeasure<BeliefSet<PlFormula,?>> measure
-
beliefSet
BeliefSet<PlFormula,PlSignature> beliefSet
-
-
Constructor Detail
-
MeasurementCallee
public MeasurementCallee(InconsistencyMeasure<BeliefSet<PlFormula,?>> measure, BeliefSet<PlFormula,PlSignature> beliefSet)
-
-