monitor
Computes the result of the monitoring of the proprerty instantiated with the given parameters on signal input.
Return
monitor result.
Parameters
input
input signal.
values
parameters.
public void monitor(TemporalSignalReader reader, File input, TemporalSignalWriter writer, File output, Array<String> values)