JaniTemplateEdge

class JaniTemplateEdge(self: stormpy.io.JaniTemplateEdge, arg0)

Bases: pybind11_object

Template edge, internal data structure for edges

add_destination(self: stormpy.io.JaniTemplateEdge, arg0) → None

property assignments

property destinations

property guard