public class DalalDistance extends PossibleWorldDistance
| Constructor and Description |
|---|
DalalDistance() |
| Modifier and Type | Method and Description |
|---|---|
double |
distance(PossibleWorld a,
PossibleWorld b)
Measures the distance between the two given interpretations.
|
distancepublic double distance(PossibleWorld a, PossibleWorld b)
InterpretationDistancedistance in interface InterpretationDistance<PossibleWorld,PropositionalFormula>distance in class PossibleWorldDistancea - some interpretationb - some interpretation