public abstract class PossibleWorldDistance extends java.lang.Object implements InterpretationDistance<PossibleWorld,PropositionalFormula>
Constructor and Description |
---|
PossibleWorldDistance() |
Modifier and Type | Method and Description |
---|---|
abstract double |
distance(PossibleWorld a,
PossibleWorld b)
Measures the distance between the two given interpretations.
|
double |
distance(PropositionalFormula f,
PossibleWorld b)
Measures the distance between a formula and some
interpretation by taking the minimal distance from all models
of the formula to the given interpretation.
|
public abstract double distance(PossibleWorld a, PossibleWorld b)
InterpretationDistance
distance
in interface InterpretationDistance<PossibleWorld,PropositionalFormula>
a
- some interpretationb
- some interpretationpublic double distance(PropositionalFormula f, PossibleWorld b)
InterpretationDistance
distance
in interface InterpretationDistance<PossibleWorld,PropositionalFormula>
f
- some formulab
- some interpretation.