simmer bricks

Helper methods for ‘simmer’ trajectories

delayed_release() delayed_release_selected()

Delayed Release of a Resource

do_parallel()

Perform Parallel Tasks

interleave()

Interleaved Resources

visit() visit_selected()

Visit a Resource

wait_n() wait_until()

Wait a Number of Signals