engine/io.github.moonlightsuite.moonlight.online.monitoring.temporal/AtomicMonitor

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.

Parameters

<V>

Signal Trace Type

<R>

Semantic Interpretation Semiring Type

See also

Constructors

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

Functions

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