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.