JaniAssignment¶
- class JaniAssignment(
- self: stormpy.io.JaniAssignment,
- lhs,
- rhs,
- lvl: SupportsInt | SupportsIndex = 0,
Bases:
pybind11_objectJani Assignment
- property expression¶
- property variable¶
variable that is assigned to, if any
Bases: pybind11_object
Jani Assignment
variable that is assigned to, if any