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 and Description
(package private) BeliefSet<PropositionalFormula>	beliefSet
(package private) InconsistencyMeasure<BeliefSet<PropositionalFormula>>	measure

Constructor Summary

Constructors

Constructor and Description
MeasurementCallee(InconsistencyMeasure<BeliefSet<PropositionalFormula>> measure, BeliefSet<PropositionalFormula> beliefSet)

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

measure

InconsistencyMeasure<BeliefSet<PropositionalFormula>> measure

beliefSet

BeliefSet<PropositionalFormula> beliefSet

Constructor Detail

MeasurementCallee

public MeasurementCallee(InconsistencyMeasure<BeliefSet<PropositionalFormula>> measure,
                         BeliefSet<PropositionalFormula> beliefSet)

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