Include file:
#include "mcrl2/data/assignment.h
mcrl2::data::
untyped_identifier_assignment
¶Assignment of a data expression to a string.
lhs
() constoperator()
(const untyped_identifier &x) const¶Applies the assignment to a variable.
Parameters:
x An identifier string
Returns: The value x[lhs() := rhs()].
operator=
(const untyped_identifier_assignment&) noexcept = default¶operator=
(untyped_identifier_assignment&&) noexcept = default¶rhs
() constuntyped_identifier_assignment
()¶Default constructor.
untyped_identifier_assignment
(const core::identifier_string &lhs, const data_expression &rhs)¶Constructor.
untyped_identifier_assignment
(const std::string &lhs, const data_expression &rhs)¶Constructor.
untyped_identifier_assignment
(const untyped_identifier_assignment&) noexcept = default¶Move semantics.
untyped_identifier_assignment
(untyped_identifier_assignment&&) noexcept = default¶