as2fm.jani_generator.main

Functions

main_convince_to_plain_jani([_args])	Entry point for the conversion of a CONVINCE JANI file to a plain JANI file.
main_scxml_to_jani([_args])	Support function for the old enry-point.
roaml_to_jani([_args])	Main function for the RoAML model (with ASCXML models) to JANI conversion.