SpatialTemporalMonitor
Primary SpatialTemporal Monitoring interface It is based on a strategy design pattern, where each kind of operators has a specific strategy implementation. Implementors must implement the monitor method, which is called recursively until the atomic subformulae apply the given functions on the signals.
See also
for the simpler (only temporal) one. For specific implementation of the different logic operators:
Inheritors
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
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
public abstract SpatialTemporalSignal<R> monitor(LocationService<Double, S> locationService, SpatialTemporalSignal<T> signal)
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)