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

TemporalMonitorFutureOperator

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

Strategy to interpret temporal logic operators on the future (except Until)

See also

TemporalMonitor

Constructors

TemporalMonitorFutureOperator

public void TemporalMonitorFutureOperator(TemporalMonitor<T, R> m, BinaryOperator<R> op, R init, Interval interval)

public void TemporalMonitorFutureOperator(TemporalMonitor<T, R> m, BinaryOperator<R> op, R init)

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)