engine/io.github.moonlightsuite.moonlight.offline.monitoring.mfr/MfrMonitorSince

MfrMonitorSince

public class MfrMonitorSince<S, T, R> implements MfrMonitor<S, T, R>

Strategy to interpret the Since temporal logic operator.

See also

SpatialTemporalMonitor

Constructors

MfrMonitorSince

public void MfrMonitorSince(MfrMonitor<S, T, R> m1, Interval interval, MfrMonitor<S, T, R> m2, SignalDomain<R> domain)

Functions

public SpatialTemporalSignal<R> monitor(SpatialTemporalSignal<T> signal)

public IntFunction<MfrSignal<R>> monitor(SpatialTemporalSignal<T> signal, IntFunction<Array<int>> locations)