Class DefaultStreamBasedInconsistencyMeasure<S extends Formula>
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
-
- net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure<S>
-
- net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure<S>
-
- Type Parameters:
S
- The type of formulas
- All Implemented Interfaces:
PostulateEvaluatable<S>
,InconsistencyMeasure<BeliefSet<S,?>>
public class DefaultStreamBasedInconsistencyMeasure<S extends Formula> extends StreamBasedInconsistencyMeasure<S>
Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field 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.-
Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor 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.
-
Method Summary
Modifier and Type Method 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()
-
Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
-
-
-
Field Detail
-
clazz
private java.lang.Class<? extends InconsistencyMeasurementProcess<S extends Formula>> clazz
The class of inconsistency measurement processes.
-
listeners
private java.util.List<InconsistencyListener> listeners
The listeners of this measure.
-
config
private java.util.Map<java.lang.String,java.lang.Object> config
Configuration options for to be given to the inconsistency measurement process.
-
-
Constructor Detail
-
DefaultStreamBasedInconsistencyMeasure
public DefaultStreamBasedInconsistencyMeasure(java.lang.Class<? extends InconsistencyMeasurementProcess<S>> clazz)
Creates a new inconsistency measure based on the given process class.- Parameters:
clazz
- some inconsistency measurement process class.
-
DefaultStreamBasedInconsistencyMeasure
public 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.- Parameters:
clazz
- some inconsistency measurement process class.config
- configuration options for that class.
-
-
Method Detail
-
inconsistencyMeasure
public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
Description copied from class:BeliefSetInconsistencyMeasure
This method measures the inconsistency of the given set of formulas.- Specified by:
inconsistencyMeasure
in classStreamBasedInconsistencyMeasure<S extends Formula>
- Parameters:
formulas
- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
getInconsistencyMeasureProcess
public InconsistencyMeasurementProcess<S> getInconsistencyMeasureProcess(FormulaStream<S> stream)
Description copied from class:StreamBasedInconsistencyMeasure
Processes the formulas in the given stream one after the other. After each update an event of type "InconsistencyUpdateEvent" is created and listeners are notified. This method creates and starts a new object of type "InconsistencyMeasurementProcess" that processes the stream in a separate thread, and returns it. The current value of inconsistency can be retrieved by the "getInconsistencyValue()" of that process and measurement can be aborted by calling its "abort()" method.- Specified by:
getInconsistencyMeasureProcess
in classStreamBasedInconsistencyMeasure<S extends Formula>
- Parameters:
stream
- some formula stream.- Returns:
- an inconsistency measurement process.
-
addInconsistencyListener
public void addInconsistencyListener(InconsistencyListener listener)
Description copied from class:StreamBasedInconsistencyMeasure
Add a listener to this measure.- Specified by:
addInconsistencyListener
in classStreamBasedInconsistencyMeasure<S extends Formula>
- Parameters:
listener
- the listener to be added.
-
removeInconsistencyListener
public void removeInconsistencyListener(InconsistencyListener listener)
Description copied from class:StreamBasedInconsistencyMeasure
Remove a listener from this measure.- Specified by:
removeInconsistencyListener
in classStreamBasedInconsistencyMeasure<S extends Formula>
- Parameters:
listener
- the listener to be removed.
-
fireInconsistencyUpdateEvent
public void fireInconsistencyUpdateEvent(InconsistencyUpdateEvent evt)
Description copied from class:StreamBasedInconsistencyMeasure
This method is called by inconsistency measurement processes to dispatch events to listeners.- Specified by:
fireInconsistencyUpdateEvent
in classStreamBasedInconsistencyMeasure<S extends Formula>
- Parameters:
evt
- some event to be fired.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
fireInconsistencyMeasurementStartedEvent
void fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent evt)
Description copied from class:StreamBasedInconsistencyMeasure
This method is called by inconsistency measurement processes to dispatch an event about inconsistency measurement starts to listeners.- Specified by:
fireInconsistencyMeasurementStartedEvent
in classStreamBasedInconsistencyMeasure<S extends Formula>
- Parameters:
evt
- some event to be fired.
-
-