JaniTemplateEdgeDestination

class JaniTemplateEdgeDestination(self: stormpy.io.JaniTemplateEdgeDestination, ordered_assignments)

Bases: pybind11_object

Template edge destination, internal data structure for edge destinations

property assignments