stormpy.numbers

Number types of Storm.

The Python types matching the value types used by Storm in C++:

• float: double

• Rational: storm::RationalNumber (exact arithmetic)

• Integer: integer type of storm::RationalNumber (arbitrary precision)

• RationalFunction: storm::RationalFunction (parametric models), with coefficients of type RationalFunctionCoefficient and the (factorized) Polynomial or the non-factorized RawPolynomial

• Interval: storm::Interval (interval models)

• RationalInterval: storm::RationalInterval (exact interval models)

The value types are also available directly in stormpy, e.g. stormpy.Rational is stormpy.numbers.Rational. They select template instantiations, e.g. stormpy.build_model[stormpy.Rational](program).

Parameters of parametric models are represented by Variable objects.

Functions

clear_pools()	Clear all pools.
is_infinity(value)	Check whether the value is positive infinity.
is_negative_infinity(value)	Check whether the value is negative infinity.
variable_with_name(arg0)	Get a variable from the pool with the given name.

Classes

Integer(Integer Integer)	Class wrapping gmp-integers
Interval(Interval Interval)
Polynomial
Rational(...)	Class wrapping gmp-rational numbers
RationalFunction
RationalFunctionCoefficient
RationalInterval
RawPolynomial
Variable(Variable Variable)