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

TemporalMonitorAtomic

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

Strategy to interpret an atomic predicate on the signal of interest.

See also

TemporalMonitor

Constructors

TemporalMonitorAtomic

public void TemporalMonitorAtomic(Function<T, R> atomic)

Functions

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

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)

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

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

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

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)

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

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)

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)