as2fm.jani_generator.jani_entries.jani_automaton.JaniAutomaton

class as2fm.jani_generator.jani_entries.jani_automaton.JaniAutomaton(*, automaton_dict: Dict[str, Any] | None = None)

Bases: object

Methods

`__init__`(*[, automaton_dict])
`add_edge`(edge)
`add_location`(location_name[, is_initial])
`add_variable`(variable)
`as_dict`(constant)
`from_dict`(automaton_dict)
`get_actions`()
`get_edges`()
`get_initial_locations`()
`get_name`()
`get_variables`()
`make_initial`(location_name)
`merge`(other)
`remove_edges_with_action_name`(action_name)
`remove_empty_self_loop_edges`()	Remove all self-loop edges from the automaton.
`set_name`(name)
`unset_initial`(location_name)

remove_empty_self_loop_edges(): Remove all self-loop edges from the automaton.