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

SpatialTemporalMonitorEscape

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

Strategy to interpret the Escape spatial logic operator.

See also

Constructors

Link copied to clipboard
public void SpatialTemporalMonitorEscape(    SpatialTemporalMonitor<S, T, R> m,     Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance,     SignalDomain<R> domain)

Functions

Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> andMonitor<S, T, R>(    SpatialTemporalMonitor<S, T, R> m1,     SignalDomain<R> domain,     SpatialTemporalMonitor<S, T, R> m2)
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> atomicMonitor<S, T, R>(Function<T, R> atomic)
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> closureMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Interval interval, SignalDomain<T> domain)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> impliesMonitor<S, T, R>(    SpatialTemporalMonitor<S, T, R> m1,     SignalDomain<R> domain,     SpatialTemporalMonitor<S, T, R> m2)
Link copied to clipboard
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> nextMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Interval interval, SignalDomain<T> domain)
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> notMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, SignalDomain<R> domain)
Link copied to clipboard
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)
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> orMonitor<S, T, R>(    SpatialTemporalMonitor<S, T, R> m1,     SignalDomain<R> domain,     SpatialTemporalMonitor<S, T, R> m2)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
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)
Link copied to clipboard
public static SpatialTemporalMonitor<S, T, R> surroundMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m, Interval interval, SignalDomain<R> domain)
Link copied to clipboard
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)