as2fm.jani_generator.ros_helpers.ros_timer.make_global_timer_scxml

as2fm.jani_generator.ros_helpers.ros_timer.make_global_timer_scxml(timers: List[RosTimer], max_time_ns: int) → ScxmlRoot | None

Create a global timer SCXML automaton from a list of ROS timers.

Parameters:

timers – The list of ROS timers.

Returns:

The global timer SCXML.