TemporalOpMonitor
public void TemporalOpMonitor(OnlineMonitor<Double, V, Box<R>> argument, BinaryOperator<Box<R>> binaryOp, Interval timeHorizon, SignalDomain<R> interpretation)
Prepares an atomic online (temporal) monitor.
Parameters
binaryOp
The function evaluated by the atomic predicate //@param parentHorizon The temporal horizon of the parent formula
interpretation
The interpretation domain of interest