SpatialTemporalMonitoringGenerator
public void SpatialTemporalMonitoringGenerator(Map<String, SpatialTemporalMonitorProducer> producers, NameResolver resolver, Map<String, RecordHandler> formulaParameters, RecordHandler inputHandler, RecordHandler signalHandler, RecordHandler edgeHandler)