stormpy.numbers.developer¶

Warning

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

Raw bindings of the carl library (number types, polynomials, constraints and formulas).

This module is only meant for developers. Use stormpy.numbers for the public API.

The naming of functions and classes of the bindings mirrors the corresponding carl C++ functions and classes.

Functions

`abs`(arg0)
`carl_version`()	Get Carl version.
`ceil`(arg0)
`clear_monomial_pool`()	Clear monomial pool and remove all monomials
`clear_variable_pool`()	Clear variable pool and remove all variables
`create_monomial`(variable, exponent)	Create monomial
`div`(arg0, arg1)
`floor`(arg0)
`has_cln`()	Check if pycarl has support for CLN.
`isInteger`(arg0)
`pow`(arg0, arg1)
`quotient`(arg0, arg1)

Classes

Exceptions