as2fm.jani_generator.scxml_helpers.top_level_interpreter.export_plain_scxml_models

as2fm.jani_generator.scxml_helpers.top_level_interpreter.export_plain_scxml_models(generated_scxml_path: str, plain_scxml_models: List[ScxmlRoot], all_timers: List[RosTimer], max_time: int)

Generate the plain SCXML files adding all compatibility entries to fit the SCXML standard.