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

SpatialTemporalMonitorReach

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

Strategy to interpret the Reach spatial logic operator.

See also

SpatialTemporalMonitor

Constructors

SpatialTemporalMonitorReach

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

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)