Constraint

Warning

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

class Constraint(arg0: bool)

class Constraint(

var: stormpy.numbers.Variable,

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

bound: stormpy.numbers.Rational,

)

class Constraint(

arg0: stormpy.numbers.developer.gmp.Polynomial,

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

)

Bases: pybind11_object

property lhs

property relation

to_smt2(self: stormpy.numbers.developer.formula.Constraint) → str