SimpleConstraintRatFunc

Warning

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

class SimpleConstraintRatFunc(arg0: bool)

class SimpleConstraintRatFunc(

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

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

)

Bases: pybind11_object

lhs(

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

) → stormpy.numbers.developer.gmp.FactorizedRationalFunction

Get the left hand side of the constraint

rel(

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

) → stormpy.numbers.developer.formula.Relation

Get the relation of the constraint