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])

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