engine/io.github.moonlightsuite.moonlight.offline.monitoring/SpatialTemporalMonitoring

SpatialTemporalMonitoring

public class SpatialTemporalMonitoring<S, T, R>

Alternative interface to perform (spatial) monitoring. The key difference is that it is based on a visitor design pattern over the formula tree which resorts to SpatialTemporalMonitor methods for the implementation.

Note: Particularly useful in static environment.

See also

Constructors

Link copied to clipboard
public void SpatialTemporalMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, SignalDomain<R> module, boolean parallelize)
public void SpatialTemporalMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, SignalDomain<R> module)

Functions

Link copied to clipboard
public SpatialTemporalMonitor<S, T, R> monitor<F extends Formula>(F f)
Entry point of the monitoring program: it launches the monitoring process over the formula f.