engine/io.github.moonlightsuite.moonlight.online.monitoring/OnlineSpatialTemporalMonitor

OnlineSpatialTemporalMonitor

public class OnlineSpatialTemporalMonitor<S, V, R extends Comparable<R>>

Constructors

OnlineSpatialTemporalMonitor

public void OnlineSpatialTemporalMonitor(Formula formula, int size, SignalDomain<R> interpretation, LocationService<Double, S> locationService, Map<String, Function<V, Box<R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions)

public void OnlineSpatialTemporalMonitor(Formula formula, int size, SignalDomain<R> interpretation, LocationService<Double, S> locationService, Map<String, Function<V, Box<R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, boolean parallel)

Functions

generateAndMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateAndMonitor(AndFormula formula)

generateAtomicMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateAtomicMonitor(AtomicFormula formula)

generateEventuallyMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateEventuallyMonitor(EventuallyFormula formula)

generateGloballyMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateGloballyMonitor(GloballyFormula formula)

generateNegationMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateNegationMonitor(NegationFormula formula)

generateOrMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateOrMonitor(OrFormula formula)

generateReachMonitor

public OnlineMonitor<Double, List<V>, List<Box<R>>> generateReachMonitor(ReachFormula formula)

public SpaceTimeSignal<Double, Box<R>> monitor(@NotNull() @NotNull() TimeChain<Double, List<V>> updates)

public SpaceTimeSignal<Double, Box<R>> monitor(@NotNull() @NotNull() Update<Double, List<V>> update)