RefinementMode

Warning

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

class RefinementMode(*values)

Bases: Enum

Refinement mode for symbolic bisimulation

CHANGED_STATES = 1

FULL = 0