S
- The type of formulasT
- The type of belief basespublic abstract class StreamBasedInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
MEASURE_TOLERANCE
Constructor and Description |
---|
StreamBasedInconsistencyMeasure() |
Modifier and Type | Method and Description |
---|---|
abstract void |
addInconsistencyListener(InconsistencyListener listener)
Add a listener to this measure.
|
(package private) abstract void |
fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)
This method is called by inconsistency measurement processes to dispatch
an event about inconsistency measurement starts to listeners.
|
(package private) abstract void |
fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)
This method is called by inconsistency measurement processes to dispatch
events to listeners.
|
abstract InconsistencyMeasurementProcess<S> |
getInconsistencyMeasureProcess(FormulaStream<S> stream)
Processes the formulas in the given stream one after the other.
|
abstract java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
abstract void |
removeInconsistencyListener(InconsistencyListener listener)
Remove a listener from this measure.
|
inconsistencyMeasure
public abstract java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.public abstract InconsistencyMeasurementProcess<S> getInconsistencyMeasureProcess(FormulaStream<S> stream)
stream
- some formula stream.public abstract void addInconsistencyListener(InconsistencyListener listener)
listener
- the listener to be added.public abstract void removeInconsistencyListener(InconsistencyListener listener)
listener
- the listener to be removed.abstract void fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)
evt
- some event to be fired.abstract void fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)
evt
- some event to be fired.