Listener interface for listeners of stream-based inconsistency measures.
A simple implementation of an inconsistency listener that simply prints out each event to standard output.
|DefaultStreamBasedInconsistencyMeasure<S extends Formula>||
Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.
An inconsistency listener that is apt for doing evaluations on the performance of an inconsistency measure.
|InconsistencyMeasurementProcess<S extends Formula>||
The actual process of an inconsistency measure on streams.
An event that is thrown when an inconsistency value has been updated.
|StreamBasedInconsistencyMeasure<S extends Formula>||
General interface for inconsistency measures working on streams.
|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.