RegionSplitEstimateKind¶

Warning

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

class RegionSplitEstimateKind(*values)¶

Bases: Enum

Kinds of estimates for splitting regions