CONVINCE Model Checking Components
0.1.0
Installation
Tutorials
RoaML to SCXML Conversion
API
moco
moco.moco_common
moco.roaml_converter
moco.roaml_generator
moco.roaml_generator.main
moco.roaml_generator.ros_helpers
moco.roaml_generator.scxml_helpers
Contacts
CONVINCE Model Checking Components
API
moco
moco.roaml_generator
moco.roaml_generator.scxml_helpers
moco.roaml_generator.scxml_helpers.top_level_interpreter
moco.roaml_generator.scxml_helpers.top_level_interpreter.generate_plain_scxml_models_and_timers
View page source
moco.roaml_generator.scxml_helpers.top_level_interpreter.generate_plain_scxml_models_and_timers
moco.roaml_generator.scxml_helpers.top_level_interpreter.
generate_plain_scxml_models_and_timers
(
model
:
FullModel
)
→
List
[
ScxmlRoot
]
Generate all plain SCXML models loaded from the full model dictionary.