as2fm.jani\_generator.jani\_entries.jani\_guard.JaniGuard ========================================================= .. currentmodule:: as2fm.jani_generator.jani_entries.jani_guard .. autoclass:: JaniGuard :members: :show-inheritance: :inherited-members: .. automethod:: __init__ .. rubric:: Methods .. autosummary:: ~JaniGuard.__init__ ~JaniGuard.as_dict ~JaniGuard.get_expression ~JaniGuard.set_expression