Developer API Documentation¶

Warning

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

Objects exported by the public API are documented there. These pages list the remaining raw bindings, including native functions whose public counterparts wrap them with a different interface.

The number developer modules list number-independent helpers first, followed by the CLN and GMP backends with their respective formula modules.

`stormpy.developer`	Raw pybind11 bindings for the core library of Storm.
`stormpy.developer.info`	Raw bindings for Storm's version information.
`stormpy.developer.logic`	Raw bindings for Storm's logic, i.e., the formulas of properties.
`stormpy.developer.storage`	Raw bindings for Storm storage, model descriptions, models and expressions.
`stormpy.developer.utility`	Raw bindings for Storm utilities, such as shortest paths and the Kwek-Mehlhorn algorithm.
`stormpy.dft.developer`	Raw pybind11 bindings for storm-dft.
`stormpy.pars.developer`	Raw pybind11 bindings for storm-pars.
`stormpy.pomdp.developer`	Raw pybind11 bindings for storm-pomdp.

`stormpy.numbers.developer`	Raw bindings of the carl library (number types, polynomials, constraints and formulas).
`stormpy.numbers.developer.convert`
`stormpy.numbers.developer.formula`
`stormpy.numbers.developer.parse`
`stormpy.numbers.developer.cln`
`stormpy.numbers.developer.cln.formula`
`stormpy.numbers.developer.gmp`
`stormpy.numbers.developer.gmp.formula`