as2fm.jani_generator.scxml_helpers.top_level_interpreter.generate_plain_scxml_models_and_timers

as2fm.jani_generator.scxml_helpers.top_level_interpreter.generate_plain_scxml_models_and_timers(model: FullModel) Tuple[List[ScxmlRoot], List[RosTimer]]

Generate plain SCXML models and ROS timers from the full model dictionary.