| Package | Description | 
|---|---|
| net.sf.tweety.commons.analysis | |
| net.sf.tweety.logics.commons.analysis | |
| net.sf.tweety.logics.pl.analysis | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
DrasticDistance<T extends Interpretation,S extends Formula>
This class models the drastic distance measure between interpretations,
 see [Grant, Hunter. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
private InterpretationDistance<T,S> | 
DSumInconsistencyMeasure.distance
The distance used by this measure. 
 | 
private InterpretationDistance<T,S> | 
DMaxInconsistencyMeasure.distance
The distance used by this measure. 
 | 
private InterpretationDistance<T,S> | 
DHitInconsistencyMeasure.distance
The distance used by this measure. 
 | 
| Constructor and Description | 
|---|
DHitInconsistencyMeasure(InterpretationDistance<T,S> distance,
                        InterpretationIterator<T> it)
Creates a new d-sum inconsistency measure using the given distance and interpretations
 provided from the given interpretation iterator. 
 | 
DMaxInconsistencyMeasure(InterpretationDistance<T,S> distance,
                        InterpretationIterator<T> it)
Creates a new d-max inconsistency measure using the given distance and interpretations
 provided from the given interpretation iterator. 
 | 
DSumInconsistencyMeasure(InterpretationDistance<T,S> distance,
                        InterpretationIterator<T> it)
Creates a new d-sum inconsistency measure using the given distance and interpretations
 provided from the given interpretation iterator. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
DalalDistance
This class models the dalal distance measure between possible worlds,
 see e.g. 
 | 
class  | 
PossibleWorldDistance
This class refines interpretation distances to distance on possible worlds. 
 |