as2fm.jani_generator.scxml_helpers.top_level_interpreter.parse_main_xml

as2fm.jani_generator.scxml_helpers.top_level_interpreter.parse_main_xml(xml_path: str) FullModel

Interpret the top-level XML file and return it as a FullModel object.