as2fm.jani_generator.ros_helpers.ros_timer

Representation of ROS timers.

Functions

convert_time_between_units(time, from_unit, ...)

Convert time from one unit to another.

get_gcd_of_timer_periods(timers)

Get the greatest common divider of the time periods from the provided ROS timers.

make_global_timer_automaton(timers, max_time_ns)

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

make_global_timer_scxml(timers, max_time_ns)

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

Classes

RosTimer(name, freq)