PrismAssignment

class PrismAssignment(self: stormpy.io.PrismAssignment, arg0, arg1)

Bases: pybind11_object

An assignment in prism

property expression

Expression for the update

property variable

Variable that is updated