engine/io.github.moonlightsuite.moonlight.offline.monitoring.temporal/TemporalMonitor

TemporalMonitor

public interface TemporalMonitor<T, R>

Primary Monitoring interface It is based on a strategy design pattern, where each kind of operators has a specific strategy implementation. Implementors must implement the monitor method, which is called recursively until the atomic subformulae apply the given functions on the signals. Note that the static methods can only be used in offline monitoring

Inheritors

TemporalMonitorBinaryOperator

TemporalMonitorUntil

TemporalMonitorAtomic

TemporalMonitorFutureOperator

TemporalMonitorUnaryOperator

TemporalMonitorPastOperator

TemporalMonitorSince

Functions

andMonitor

public static TemporalMonitor<T, R> andMonitor<T, R>(TemporalMonitor<T, R> m1, SignalDomain<R> domain, TemporalMonitor<T, R> m2)

atomicMonitor

public static TemporalMonitor<T, R> atomicMonitor<T, R>(Function<T, R> atomic)

eventuallyMonitor

public static TemporalMonitor<T, R> eventuallyMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain)

public static TemporalMonitor<T, R> eventuallyMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain, Interval interval)

globallyMonitor

public static TemporalMonitor<T, R> globallyMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain)

public static TemporalMonitor<T, R> globallyMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain, Interval interval)

historicallyMonitor

public static TemporalMonitor<T, R> historicallyMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain)

public static TemporalMonitor<T, R> historicallyMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain, Interval interval)

impliesMonitor

public static TemporalMonitor<T, R> impliesMonitor<T, R>(TemporalMonitor<T, R> m1, SignalDomain<R> domain, TemporalMonitor<T, R> m2)

monitor

public abstract Signal<R> monitor(Signal<T> signal)

notMonitor

public static TemporalMonitor<T, R> notMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain)

onceMonitor

public static TemporalMonitor<T, R> onceMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain)

public static TemporalMonitor<T, R> onceMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain, Interval interval)

orMonitor

public static TemporalMonitor<T, R> orMonitor<T, R>(TemporalMonitor<T, R> m1, SignalDomain<R> domain, TemporalMonitor<T, R> m2)

sinceMonitor

public static TemporalMonitor<T, R> sinceMonitor<T, R>(TemporalMonitor<T, R> m1, TemporalMonitor<T, R> m2, SignalDomain<R> domain)

public static TemporalMonitor<T, R> sinceMonitor<T, R>(TemporalMonitor<T, R> m1, Interval interval, TemporalMonitor<T, R> m2, SignalDomain<R> domain)

untilMonitor

public static TemporalMonitor<T, R> untilMonitor<T, R>(TemporalMonitor<T, R> m1, TemporalMonitor<T, R> m2, SignalDomain<R> domain)

public static TemporalMonitor<T, R> untilMonitor<T, R>(TemporalMonitor<T, R> m1, Interval interval, TemporalMonitor<T, R> m2, SignalDomain<R> domain)

TemporalMonitor

See also

Inheritors

Functions