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

TemporalMonitoring

public class TemporalMonitoring<T, R>

Alternative interface to perform monitoring. The key difference is that it is based on a visitor design pattern over the formula tree which resorts to TemporalMonitor methods for the implementation. Note: Particularly useful in static environment.

See also

Constructors

Link copied to clipboard
public void TemporalMonitoring(SignalDomain<R> interpretation)
Initializes a monitoring process over the given interpretation domain.
public void TemporalMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, SignalDomain<R> interpretation)
Initializes a monitoring process over the given interpretation domain, and the given atomic propositions.

Functions

Link copied to clipboard
public void addProperty(String name, Function<Parameters, Function<T, R>> atomicFunction)
Adds an atomic property to the monitored ones.
Link copied to clipboard
public TemporalMonitor<T, R> monitor(Formula f)
Entry point of the monitoring program: it launches the monitoring process over the formula f.