RationalFunction

Warning

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

class RationalFunction(arg0: stormpy.numbers.Variable)

class RationalFunction(arg0: stormpy.numbers.developer.gmp.Polynomial)

class RationalFunction(

arg0: stormpy.numbers.developer.gmp.Polynomial,

arg1: stormpy.numbers.developer.gmp.Polynomial,

)

Bases: pybind11_object

Represent a rational function, that is the fraction of two multivariate polynomials

constant_part(

self: stormpy.numbers.developer.gmp.RationalFunction,

) → stormpy.numbers.Rational

property denominator

derive(

self: stormpy.numbers.developer.gmp.RationalFunction,

variable: stormpy.numbers.Variable,

) → stormpy.numbers.developer.gmp.RationalFunction

Compute the derivative

evaluate(

self: stormpy.numbers.developer.gmp.RationalFunction,

arg0: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.Rational],

) → stormpy.numbers.Rational

gather_variables(

self: stormpy.numbers.developer.gmp.RationalFunction,

) → set[stormpy.numbers.Variable]

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

property nominator

property numerator

to_smt2(self: stormpy.numbers.developer.gmp.RationalFunction) → str