ReuseMode

Warning

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

class ReuseMode(*values)

Bases: Enum

Reuse mode for symbolic bisimulation

BLOCK_NUMBERS = 1

NONE = 0