BoundType

Warning

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

class BoundType(*values)

Bases: Enum

INFTY = 2

STRICT = 0

WEAK = 1