S
- The type of formulasT
- The type of belief bases.public class DefaultStreamBasedInconsistencyMeasure<S extends Formula> extends StreamBasedInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private java.lang.Class<? extends InconsistencyMeasurementProcess<S>> |
clazz
The class of inconsistency measurement processes.
|
private java.util.Map<java.lang.String,java.lang.Object> |
config
Configuration options for to be given to the inconsistency measurement process.
|
private java.util.List<InconsistencyListener> |
listeners
The listeners of this measure.
|
MEASURE_TOLERANCE
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 | Method and Description |
---|---|
void |
addInconsistencyListener(InconsistencyListener listener)
Add a listener to this measure.
|
(package private) void |
fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)
This method is called by inconsistency measurement processes to dispatch
an event about inconsistency measurement starts to listeners.
|
void |
fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)
This method is called by inconsistency measurement processes to dispatch
events to listeners.
|
InconsistencyMeasurementProcess<S> |
getInconsistencyMeasureProcess(FormulaStream<S> stream)
Processes the formulas in the given stream one after the other.
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
void |
removeInconsistencyListener(InconsistencyListener listener)
Remove a listener from this measure.
|
java.lang.String |
toString() |
inconsistencyMeasure
private java.lang.Class<? extends InconsistencyMeasurementProcess<S extends Formula>> clazz
private java.util.List<InconsistencyListener> listeners
private java.util.Map<java.lang.String,java.lang.Object> config
public DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz)
clazz
- some inconsistency measurement process class.public DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz, java.util.Map<java.lang.String,java.lang.Object> config)
clazz
- some inconsistency measurement process class.config
- configuration options for that class.public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class StreamBasedInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.public InconsistencyMeasurementProcess<S> getInconsistencyMeasureProcess(FormulaStream<S> stream)
StreamBasedInconsistencyMeasure
getInconsistencyMeasureProcess
in class StreamBasedInconsistencyMeasure<S extends Formula>
stream
- some formula stream.public void addInconsistencyListener(InconsistencyListener listener)
StreamBasedInconsistencyMeasure
addInconsistencyListener
in class StreamBasedInconsistencyMeasure<S extends Formula>
listener
- the listener to be added.public void removeInconsistencyListener(InconsistencyListener listener)
StreamBasedInconsistencyMeasure
removeInconsistencyListener
in class StreamBasedInconsistencyMeasure<S extends Formula>
listener
- the listener to be removed.public void fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)
StreamBasedInconsistencyMeasure
fireInconsistencyUpdateEvent
in class StreamBasedInconsistencyMeasure<S extends Formula>
evt
- some event to be fired.public java.lang.String toString()
toString
in class java.lang.Object
void fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)
StreamBasedInconsistencyMeasure
fireInconsistencyMeasurementStartedEvent
in class StreamBasedInconsistencyMeasure<S extends Formula>
evt
- some event to be fired.