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

__init__(*, automaton_dict: Dict[str, Any] | None = None)

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_edges(new_edges)	Replace the edges in the Automaton.
set_name(name)
unset_initial(location_name)

remove_empty_self_loop_edges()

Remove all self-loop edges from the automaton.

set_edges(new_edges: List[JaniEdge]) → None

Replace the edges in the Automaton.