engine/io.github.moonlightsuite.moonlight.offline.monitoring/TemporalMonitoring/monitor

monitor

public TemporalMonitor<T, R> monitor(Formula f)

Entry point of the monitoring program: it launches the monitoring process over the formula f.

Return

the result of the monitoring process.

Parameters

f

the formula to monitor