Term

Warning

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

class Term(

arg0: stormpy.numbers.RationalFunctionCoefficient,

arg1: stormpy.numbers.developer._pycarl_core.Monomial,

)

class Term(arg0: stormpy.numbers.Variable)

class Term(arg0: stormpy.numbers.RationalFunctionCoefficient)

Bases: pybind11_object

property coeff

is_constant(self: stormpy.numbers.developer.cln.Term) → bool

is_one(self: stormpy.numbers.developer.cln.Term) → bool

property monomial

property tdeg