engine/io.github.moonlightsuite.moonlight.offline.monitoring.mfr/MfrMonitoring

MfrMonitoring

public class MfrMonitoring<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.

Parameters

<S>

Spatial Graph Edge Type

<T>

Signal Trace Type

<R>

Semantic Interpretation Semiring Type

See also

Constructors

Link copied to clipboard
public void MfrMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, SignalDomain<R> domain, LocationService<Double, S> locationService)

Functions

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