as2fm.jani_generator.scxml_helpers.scxml_to_jani.convert_multiple_scxmls_to_jani

as2fm.jani_generator.scxml_helpers.scxml_to_jani.convert_multiple_scxmls_to_jani(scxmls: List[ScxmlRoot], timers: List[RosTimer], max_time_ns: int, max_array_size: int) → JaniModel

Assemble automata from multiple SCXML files into a Jani model.

Parameters:

  • scxmls – List of SCXML Root objects (or file paths) to be included in the Jani model.

  • timers – List of ROS timers to be included in the Jani model.

  • max_time_ns – The maximum time in nanoseconds.

  • max_array_size – The max size of the arrays in the model.

Returns:

The Jani model containing the converted automata.