SignatureMode

Warning

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

class SignatureMode(*values)

Bases: Enum

Signature mode for symbolic bisimulation

EAGER = 0

LAZY = 1

QUALITATIVE = 2