mcrl2::data::assignment

Include file:

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

Assignment of a data expression to a variable.

Public member functions

assignment()

Default constructor.

assignment(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
assignment(const variable &lhs, const data_expression &rhs)

Constructor.

assignment(const assignment&) noexcept = default

Move semantics.

assignment(assignment&&) noexcept = default
const variable &lhs() const
const data_expression &operator()(const variable &x) const

Applies the assignment to a variable.

Parameters:

  • x A variable

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

data_expression operator()(const Expression&) const

Applies the assignment to a term.

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

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