as2fm.jani\_generator.jani\_entries.jani\_model.JaniModel
=========================================================

.. currentmodule:: as2fm.jani_generator.jani_entries.jani_model

.. autoclass:: JaniModel
   :members:
   :show-inheritance:
   :inherited-members:

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~JaniModel.__init__
      ~JaniModel.add_constant
      ~JaniModel.add_feature
      ~JaniModel.add_jani_automaton
      ~JaniModel.add_jani_constant
      ~JaniModel.add_jani_property
      ~JaniModel.add_jani_variable
      ~JaniModel.add_jani_variables
      ~JaniModel.add_system_sync
      ~JaniModel.add_variable
      ~JaniModel.as_dict
      ~JaniModel.from_dict
      ~JaniModel.get_automata
      ~JaniModel.get_automaton
      ~JaniModel.get_constants
      ~JaniModel.get_features
      ~JaniModel.get_name
      ~JaniModel.get_properties
      ~JaniModel.get_variables
      ~JaniModel.remove_edges_with_action
      ~JaniModel.set_name