mcrl2::data::assignment

Include file:

#include "mcrl2/data/assignment.h

class mcrl2::data::assignment

brief Assignment of a data expression to a variable

Public member functions

assignment()

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.

Parameters:

• 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