mcrl2::data::untyped_identifier_assignment

Include file:

#include "mcrl2/data/assignment.h
class mcrl2::data::untyped_identifier_assignment

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()

Default constructor.

untyped_identifier_assignment(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

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