stormpy.numbers.developer.gmp.formula

Warning

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

Classes

Constraint(Constraint Constraint)
Formula(Formula Formula Formula Formula)	Create Formula given Boolean variable
SimpleConstraint(SimpleConstraint)
SimpleConstraintRatFunc(SimpleConstraintRatFunc)