OnlineTimeMonitor

public class OnlineTimeMonitor<V, R extends Comparable<R>>

Primary entry point to perform online monitoring. Based on a visitor design pattern over the formula tree.

<V>

Signal Trace Type

<R>

Semantic Interpretation Semiring Type

Constructors

public void OnlineTimeMonitor(Formula formula, SignalDomain<R> interpretation, Map<String, Function<V, Box<R>>> atomicPropositions)

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

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