T
- The actual type of interpretation usedpublic interface InterpretationDistance<T extends Interpretation,S extends Formula>
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.
|
double distance(T a, T b)
a
- some interpretationb
- some interpretationdouble distance(S f, T b)
f
- some formulab
- some interpretation.