GraphPreservationStatus¶

Warning

The stormpy developer API is internal and can be subject to change.

class GraphPreservationStatus(*values)¶

Bases: Enum

Guarantee whether the graph structure is preserved within a region