T
- The actual type of interpretationpublic class DrasticDistance<T extends Interpretation,S extends Formula> extends java.lang.Object implements InterpretationDistance<T,S>
Constructor and Description |
---|
DrasticDistance() |
Modifier and Type | Method and Description |
---|---|
double |
distance(S f,
T 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.
|
double |
distance(T a,
T b)
Measures the distance between the two given interpretations.
|
public double distance(T a, T b)
InterpretationDistance
distance
in interface InterpretationDistance<T extends Interpretation,S extends Formula>
a
- some interpretationb
- some interpretationpublic double distance(S f, T b)
InterpretationDistance
distance
in interface InterpretationDistance<T extends Interpretation,S extends Formula>
f
- some formulab
- some interpretation.