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)
append_destination(*[, location, ...])	Add a new destination to the JaniEdge.
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.

append_destination(*, location: str | None = None, probability: JaniExpression | None = None, assignments: List[JaniAssignment] | None = None)

Add a new destination to the JaniEdge.

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.