ValuationTransformer

class ValuationTransformer(

self: stormpy.models.ValuationTransformer,

old_valuations: stormpy.models.Valuations,

)

Bases: pybind11_object

Transforms the given valuations to a new valuations over a new variable set. The values of the new variables are determined by evaluating the provided expressions w.r.t. the old variable valuation. The freshly introduced variables may either replace or extend the existing variable set.

add_expression(

self: stormpy.models.ValuationTransformer,

expression_variable,

defining_expression,

) → None

build(

self: stormpy.models.ValuationTransformer,

extend: bool,

) → stormpy.models.Valuations