accept
Primary entry point for the monitoring of a formula.
Return
a value corresponding to the value of the formula on R.
Parameters
visitor
the visiting monitoring program
parameters
optional parameters of the monitoring process.
<T>
Signal Trace Type
<R>
Semantic Interpretation Semiring Type