Term¶

Warning

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

class Term( arg0: stormpy.numbers.Rational, arg1: stormpy.numbers.developer._pycarl_core.Monomial, )¶

class Term(arg0: stormpy.numbers.Variable)

class Term(arg0: stormpy.numbers.Rational)

Bases: pybind11_object

property coeff¶

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

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

property monomial¶

property tdeg¶