Interface InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
 Type Parameters:
T
 The actual type of interpretation usedB
 the type of belief basesS
 the type of formulas
 All Known Implementing Classes:
DalalDistance
,DrasticDistance
,PossibleWorldDistance
public interface InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
Classes implementing this interface represent distance functions
between two interpretations.
 Author:
 Matthias Thimm

Method Summary
Modifier and TypeMethodDescriptiondouble
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.double
Measures the distance between the two given interpretations.

Method Details

distance
Measures the distance between the two given interpretations. Parameters:
a
 some interpretationb
 some interpretation Returns:
 the distance between the two given interpretations.

distance
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation. Parameters:
f
 some formulab
 some interpretation. Returns:
 the distance between the set of models of the formula to the given interpretation.
