AtomicMonitor

public class AtomicMonitor<V, R extends Comparable<R>> implements OnlineMonitor<T, V, R>

Strategy to interpret (online) an atomic predicate on the signal of interest.

See also

Constructors

Link copied to clipboard
public void AtomicMonitor(Function<V, Box<R>> atomicFunction, int locations, SignalDomain<R> interpretation)
Prepares an atomic online (temporal) monitor.

Functions

Link copied to clipboard
Returns the result of the monitoring process.
Link copied to clipboard
public List<TimeChain<Double, List<Box<R>>>> monitor(TimeChain<Double, List<V>> updates)
public List<TimeChain<Double, List<Box<R>>>> monitor(Update<Double, List<V>> signalUpdate)
Execution starter of the monitoring process.