as2fm.jani\_generator.main.main\_scxml\_to\_jani
================================================

.. currentmodule:: as2fm.jani_generator.main

.. autofunction:: main_scxml_to_jani