gather_derivatives

gather_derivatives(

model: stormpy.models.SparseModel[stormpy.numbers.RationalFunction],

parameter: stormpy.numbers.Variable,

) → set[stormpy.numbers.Polynomial]

Gather the nonconstant numerators of transition-probability derivatives with respect to a parameter