T- The actual type of interpretation used
public interface InterpretationDistance<T extends Interpretation,S extends Formula>
|Modifier and Type||Method and Description|
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.
Measures the distance between the two given interpretations.
a- some interpretation
b- some interpretation
f- some formula
b- some interpretation.