as2fm.jani_generator.jani_entries.jani_edge.JaniEdge

class as2fm.jani_generator.jani_entries.jani_edge.JaniEdge(edge_dict: dict)

Bases: object

__init__(edge_dict: dict)

Methods

__init__(edge_dict)
as_dict(constants)
get_action()	Get the action name, if set.
is_empty_self_loop()	Check if the edge is an empty self loop (i.e.
set_action(action_name)	Set the action name.

get_action() → str | None

Get the action name, if set.

is_empty_self_loop() → bool

Check if the edge is an empty self loop (i.e. has no assignments).

set_action(action_name: str)

Set the action name.