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.

Parameters

<S>

Spatial Graph Edge Type

<T>

Signal Trace Type

<R>

Semantic Interpretation Semiring Type

See also

Constructors

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

Functions

Link copied to clipboard