Start API Documentation stormpy.transformations EliminationLabelBehavior EliminationLabelBehavior¶ class EliminationLabelBehavior(*values)¶ Bases: Enum Behavior of labels while eliminating non-Markovian chains DELETE_LABELS = 3¶ EXTEND_LABELS = 1¶ KEEP_LABELS = 0¶ MERGE_LABELS = 2¶