Functionsยง
- sleep
- Closure for RT simulation on targets with
std. It sleeps until the next state transition. - wait_
event - It computes the next wall-clock time corresponding to the next state transition of the model.
std.
It sleeps until the next state transition.