mcrl2::data::assignment_expression

Include file:

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

Assignment expression.

Public member functions

assignment_expression()

Default constructor.

assignment_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
assignment_expression(const assignment_expression&) noexcept = default

Move semantics.

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