create_monomial

Warning

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

create_monomial(

variable: stormpy.numbers.Variable,

exponent: SupportsInt | SupportsIndex,

) → stormpy.numbers.developer._pycarl_core.Monomial

Create monomial