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.
|