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])	Main function for the SCXML to JANI conversion.