AtomicMonitor

public void AtomicMonitor(Function<V, Box<R>> atomicFunction, SignalDomain<R> interpretation)

Prepares an atomic online (temporal) monitor.

atomicFunction

The function evaluated by the atomic predicate //@param parentHorizon The temporal horizon of the parent formula

interpretation

The interpretation domain of interest