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)
InterpretationDistancedistance in interface InterpretationDistance<T extends Interpretation,S extends Formula>a - some interpretationb - some interpretationpublic double distance(S f, T b)
InterpretationDistancedistance in interface InterpretationDistance<T extends Interpretation,S extends Formula>f - some formulab - some interpretation.