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