Start API Documentation stormpy.logic ComparisonType ComparisonType¶ class ComparisonType(*values)¶ Bases: Enum Comparison of a bound, e.g. < or >= GEQ = 3¶ GREATER = 2¶ LEQ = 1¶ LESS = 0¶