SpatialTemporalMonitoring
public void SpatialTemporalMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, SignalDomain<R> module, boolean parallelize)
public void SpatialTemporalMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, Map<String, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>>> distanceFunctions, SignalDomain<R> module)