OnlineSpatialTemporalMonitor
public void OnlineSpatialTemporalMonitor(Formula formula, int size, SignalDomain<R> interpretation, LocationService<Double, S> locationService, Map<String, Function<V, Box<R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions)
public void OnlineSpatialTemporalMonitor(Formula formula, int size, SignalDomain<R> interpretation, LocationService<Double, S> locationService, Map<String, Function<V, Box<R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, boolean parallel)