VariableType

Warning

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

class VariableType(*values)

Bases: Enum

BOOL = 0

INT = 2

REAL = 1