InitialPartitionMode¶

Warning

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

class InitialPartitionMode(*values)¶

Bases: Enum

Initial partition mode for symbolic bisimulation