as2fm.jani\_generator.jani\_entries.jani\_utils.generate\_jani\_variable
========================================================================

.. currentmodule:: as2fm.jani_generator.jani_entries.jani_utils

.. autofunction:: generate_jani_variable