mcrl2::data::untyped_identifier_assignment

Include file:

#include "mcrl2/data/assignment.h

class mcrl2::data::untyped_identifier_assignment

brief Assignment of a data expression to a string

Public member functions

const core::identifier_string &lhs() const

data_expression operator()(const untyped_identifier &x) const

Applies the assignment to a variable.

Parameters:

• x An identifier string

Returns: The value x[lhs() := rhs()].

untyped_identifier_assignment &operator=(const untyped_identifier_assignment&) noexcept = default

untyped_identifier_assignment &operator=(untyped_identifier_assignment&&) noexcept = default

const data_expression &rhs() const

untyped_identifier_assignment()

brief Default constructor.

untyped_identifier_assignment(const atermpp::aterm &term)

brief Constructor. param term A term

untyped_identifier_assignment(const core::identifier_string &lhs, const data_expression &rhs)

brief Constructor.

untyped_identifier_assignment(const std::string &lhs, const data_expression &rhs)

brief Constructor.

untyped_identifier_assignment(const untyped_identifier_assignment&) noexcept = default

Move semantics.

untyped_identifier_assignment(untyped_identifier_assignment&&) noexcept = default