| Package | Description | 
|---|---|
| net.sf.tweety.logics.commons.analysis.streams | |
| net.sf.tweety.logics.pl.analysis | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
WindowInconsistencyMeasurementProcess<S extends Formula>
This inconsistency measurement process keeps a window of a number of previous 
 formulas in memory and computes the inconsistency value from this window using
 an ordinary inconsistency measure. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
(package private) InconsistencyMeasurementProcess<S> | 
InconsistencyMeasurementProcess.UpdateCallee.imp  | 
protected InconsistencyMeasurementProcess<?> | 
InconsistencyUpdateEvent.process  | 
| Modifier and Type | Field and Description | 
|---|---|
private java.lang.Class<? extends InconsistencyMeasurementProcess<S>> | 
DefaultStreamBasedInconsistencyMeasure.clazz
The class of inconsistency measurement processes. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
abstract InconsistencyMeasurementProcess<S> | 
StreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess(FormulaStream<S> stream)
Processes the formulas in the given stream one after the other. 
 | 
InconsistencyMeasurementProcess<S> | 
DefaultStreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess(FormulaStream<S> stream)  | 
| Constructor and Description | 
|---|
InconsistencyUpdateEvent(StreamBasedInconsistencyMeasure<?> measure,
                        InconsistencyMeasurementProcess<?> process,
                        java.lang.Double inconsistencyValue,
                        Formula f)
Creates a new event with the given parameters. 
 | 
UpdateCallee(InconsistencyMeasurementProcess<S> imp,
            S formula)  | 
| Constructor and Description | 
|---|
DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz)
Creates a new inconsistency measure based on the given process class. 
 | 
DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz,
                                      java.util.Map<java.lang.String,java.lang.Object> config)
Creates a new inconsistency measure based on the given process class and the given configuration options for that process. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
ContensionInconsistencyMeasurementProcess
Implements an approximation algorithm for the Contension inconsistency measure on streams. 
 | 
class  | 
HsInconsistencyMeasurementProcess
Implements an approximation algorithm for the Hs inconsistency measure on streams. 
 | 
class  | 
PlWindowInconsistencyMeasurementProcess
A window inconsistency measurement process for propositional logic 
 (this class needs to be there as no generics are allowed when instantiating 
 a DefaultStreamBasedInconsistencyMeasure. 
 |