SpatialTemporalMonitorReach
public void SpatialTemporalMonitorReach(SpatialTemporalMonitor<S, T, R> m1, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SpatialTemporalMonitor<S, T, R> m2, SignalDomain<R> domain)