RewardAccumulationEliminationVisitor

Warning

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

class RewardAccumulationEliminationVisitor(

self: stormpy.developer.storage._storage.RewardAccumulationEliminationVisitor,

model: stormpy.io.JaniModel,

)

Bases: pybind11_object

Eliminate reward accumulations from formulas and properties

eliminate_reward_accumulations(

formula: storm::logic::Formula,

) → storm::logic::Formula

eliminate_reward_accumulations(properties: collections.abc.Sequence[storm::jani::Property]) → list[storm::jani::Property]

Return the properties updated by Storm’s in-place visitor