as2fm.jani\_generator.jani\_entries.jani\_automaton.JaniAutomaton
=================================================================

.. currentmodule:: as2fm.jani_generator.jani_entries.jani_automaton

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

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~JaniAutomaton.__init__
      ~JaniAutomaton.add_edge
      ~JaniAutomaton.add_location
      ~JaniAutomaton.add_variable
      ~JaniAutomaton.as_dict
      ~JaniAutomaton.from_dict
      ~JaniAutomaton.get_actions
      ~JaniAutomaton.get_edges
      ~JaniAutomaton.get_initial_locations
      ~JaniAutomaton.get_name
      ~JaniAutomaton.get_variables
      ~JaniAutomaton.make_initial
      ~JaniAutomaton.merge
      ~JaniAutomaton.remove_edges_with_action_name
      ~JaniAutomaton.remove_empty_self_loop_edges
      ~JaniAutomaton.set_edges
      ~JaniAutomaton.set_name
      ~JaniAutomaton.unset_initial