DdMetaVariableType

Warning

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

class DdMetaVariableType(*values)

Bases: Enum

BITVECTOR = 2

BOOL = 0

INT = 1