Start Developer API Documentation stormpy.numbers.developer Monomial Monomial¶ Warning The stormpy developer API is internal and can be subject to change. class Monomial¶ Bases: pybind11_object property exponents¶ property tdeg¶