BinaryMonitor
public void BinaryMonitor(OnlineMonitor<Double, List<V>, List<Box<R>>> firstArg, OnlineMonitor<Double, List<V>, List<Box<R>>> secondArg, BinaryOperator<List<Box<R>>> binaryOp, SignalDomain<R> interpretation, int locations)
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