JaniEdge

class JaniEdge(

self: stormpy.io.JaniEdge,

source_location_index: SupportsInt | SupportsIndex,

action_index: SupportsInt | SupportsIndex,

rate,

template_edge,

destinations_with_probabilities,

)

Bases: pybind11_object

A Jani Edge

property action_index

action index

property color

color for the edge

property destinations

edge destinations

property guard

edge guard

has_silent_action(self: stormpy.io.JaniEdge) → bool

Is the edge labelled with the silent action

property nr_destinations

nr edge destinations

property rate

edge rate

property source_location_index

index for source location

substitute(

self: stormpy.io.JaniEdge,

mapping,

substitute_transcendental_numbers: bool,

) → None

property template_edge

template edge