JaniOrderedAssignments

class JaniOrderedAssignments(self: stormpy.io.JaniOrderedAssignments, arg0)

Bases: pybind11_object

Set of assignments

assignments

add(

self: stormpy.io.JaniOrderedAssignments,

new_assignment,

add_to_existing: bool = False,

) → bool

clone(

self: stormpy.io.JaniOrderedAssignments,

) → stormpy.io.JaniOrderedAssignments

clone assignments (performs a deep copy)

substitute(

self: stormpy.io.JaniOrderedAssignments,

substitution_map,

substitute_transcendental_numbers: bool,

) → None

substitute in rhs according to given substitution map