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

TemporalMonitorUntil

public class TemporalMonitorUntil<T, R> implements TemporalMonitor<T, R>

Strategy to interpret the Until operator

See also

Constructors

Link copied to clipboard
public void TemporalMonitorUntil(TemporalMonitor<T, R> m1, TemporalMonitor<T, R> m2, SignalDomain<R> domain)
public void TemporalMonitorUntil(TemporalMonitor<T, R> m1, Interval interval, TemporalMonitor<T, R> m2, SignalDomain<R> domain)

Functions

Link copied to clipboard
public static TemporalMonitor<T, R> andMonitor<T, R>(TemporalMonitor<T, R> m1, SignalDomain<R> domain, TemporalMonitor<T, R> m2)
Link copied to clipboard
public static TemporalMonitor<T, R> atomicMonitor<T, R>(Function<T, R> atomic)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
public static TemporalMonitor<T, R> impliesMonitor<T, R>(TemporalMonitor<T, R> m1, SignalDomain<R> domain, TemporalMonitor<T, R> m2)
Link copied to clipboard
public Signal<R> monitor(Signal<T> signal)
Link copied to clipboard
public static TemporalMonitor<T, R> notMonitor<T, R>(TemporalMonitor<T, R> m, SignalDomain<R> domain)
Link copied to clipboard
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)
Link copied to clipboard
public static TemporalMonitor<T, R> orMonitor<T, R>(TemporalMonitor<T, R> m1, SignalDomain<R> domain, TemporalMonitor<T, R> m2)
Link copied to clipboard
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)
Link copied to clipboard
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)