| Interface | Description |
|---|---|
| InterpretationDistance<T extends Interpretation,S extends Formula> |
Classes implementing this interface represent distance functions
between two interpretations.
|
| Class | Description |
|---|---|
| DrasticDistance<T extends Interpretation,S extends Formula> |
This class models the drastic distance measure between interpretations,
see [Grant, Hunter.
|