SpatialTemporalMonitorDefinition
public void SpatialTemporalMonitorDefinition(String name, RecordHandler arguments, RecordHandler signalRecordHandler, RecordHandler edgeRecordHandler, SpatialTemporalMonitorProducer producer)
Create a new definition.
Parameters
name
monitor name.
arguments
monitor arguments.
signalRecordHandler
record handler describing monitored signal.
producer
producer used to build the monitor.