PrismUpdate

class PrismUpdate(

self: stormpy.io.PrismUpdate,

arg0: SupportsInt | SupportsIndex,

arg1,

arg2,

)

Bases: pybind11_object

An update in a Prism command

property assignments

Assignments in the update

get_as_variable_to_expression_map(self: stormpy.io.PrismUpdate)

Creates a mapping representation of this update

get_assignment(self: stormpy.io.PrismUpdate, variable_name: str)

Retrieves a reference to the assignment for the variable with the given name

property global_index

Retrieves the global index of the update, that is, a unique index over all modules

property probability_expression

The probability expression for this update

simplify(self: stormpy.io.PrismUpdate) → stormpy.io.PrismUpdate

Simplifies the update in various ways (also removes identity assignments)

substitute(self: stormpy.io.PrismUpdate, arg0) → stormpy.io.PrismUpdate

Substitutes all identifiers in the update according to the given map