Include file:

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

brief Assignment of a data expression to a variable

Public member functions


brief Default constructor.

assignment(assignment&&) noexcept = default
assignment(const assignment&) noexcept = default

Move semantics.

assignment(const atermpp::aterm &term)

brief Constructor. param term A term

assignment(const variable &lhs, const data_expression &rhs)

brief Constructor.

const variable &lhs() const
const data_expression &operator()(const variable &x) const

Applies the assignment to a variable.


  • x A variable

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

assignment &operator=(assignment&&) noexcept = default
assignment &operator=(const assignment&) noexcept = default
const data_expression &rhs() const