Relation

Warning

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

class Relation(*values)

Bases: Enum

EQ = 0

GEQ = 5

GREATER = 3

LEQ = 4

LESS = 2

NEQ = 1

friendly_name(self: stormpy.numbers.developer.formula.Relation) → str