SimpleConstraint

Warning

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

class SimpleConstraint(arg0: bool)

class SimpleConstraint(

arg0: stormpy.numbers.RawPolynomial,

arg1: stormpy.numbers.developer.formula.Relation,

)

Bases: pybind11_object

lhs(

self: stormpy.numbers.developer.formula.SimpleConstraint,

) → stormpy.numbers.RawPolynomial

Get the left hand side of the constraint

rel(

self: stormpy.numbers.developer.formula.SimpleConstraint,

) → stormpy.numbers.developer.formula.Relation

Get the relation of the constraint