TransitionPartition

class TransitionPartition(self: stormpy.gspn.TransitionPartition)

Bases: pybind11_object

Partition of transitions with the same priority

nr_transitions(self: stormpy.gspn.TransitionPartition) → int

Get number of transitions

property priority

property transitions