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.