FactorizedRationalFunction

Warning

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

class FactorizedRationalFunction(arg0: stormpy.numbers.developer.gmp.FactorizedPolynomial)

class FactorizedRationalFunction(

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

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

)

Bases: pybind11_object

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

constant_part(

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

) → stormpy.numbers.Rational

property denominator

derive(

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

variable: stormpy.numbers.Variable,

) → stormpy.numbers.developer.gmp.FactorizedRationalFunction

Compute the derivative

evaluate(

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

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

) → stormpy.numbers.Rational

gather_variables(

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

) → set[stormpy.numbers.Variable]

is_constant(

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

) → bool

property numerator

rational_function(

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

) → stormpy.numbers.developer.gmp.RationalFunction

to_smt2(

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

) → str