engine/io.github.moonlightsuite.moonlight.offline.monitoring.spatialtemporal/SpatialTemporalMonitorFutureOperator

SpatialTemporalMonitorFutureOperator

public class SpatialTemporalMonitorFutureOperator<S, T, R> implements SpatialTemporalMonitor<S, T, R>

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

See also

SpatialTemporalMonitor

Constructors

SpatialTemporalMonitorFutureOperator

public void SpatialTemporalMonitorFutureOperator(SpatialTemporalMonitor<S, T, R> m, Interval interval, BinaryOperator<R> op, R init)

Functions

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

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

public static SpatialTemporalMonitor<S, T, R> closureMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Interval interval, SignalDomain<T> domain)

public static SpatialTemporalMonitor<S, T, R> escapeMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SignalDomain<R> domain)

eventuallyMonitor

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

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

everywhereMonitor

public static SpatialTemporalMonitor<S, T, R> everywhereMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SignalDomain<R> domain)

public static SpatialTemporalMonitor<S, T, R> everywhereMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SignalDomain<R> domain, boolean isParallel)

globallyMonitor

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

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

historicallyMonitor

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

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

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

public SpatialTemporalSignal<R> monitor(LocationService<Double, S> locationService, SpatialTemporalSignal<T> signal)

public static SpatialTemporalMonitor<S, T, R> nextMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Interval interval, SignalDomain<T> domain)

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

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

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

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

public static SpatialTemporalMonitor<S, T, R> reachMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m1, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SpatialTemporalMonitor<S, T, R> m2, SignalDomain<R> domain)

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

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

somewhereMonitor

public static SpatialTemporalMonitor<S, T, R> somewhereMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SignalDomain<R> domain)

public static SpatialTemporalMonitor<S, T, R> somewhereMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SignalDomain<R> domain, boolean isParallel)

surroundMonitor

public static SpatialTemporalMonitor<S, T, R> surroundMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Interval interval, SignalDomain<R> domain)

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

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