as2fm.jani_generator.ros_helpers.ros_timer.make_global_timer_automaton
- as2fm.jani_generator.ros_helpers.ros_timer.make_global_timer_automaton(timers: List[RosTimer], max_time_ns: int) JaniAutomaton | None
Create a global timer Jani automaton from a list of ROS timers.
- Parameters:
timers – The list of ROS timers.
- Returns:
The global timer automaton.