mcrl2::data::assignment_expression

Include file:

#include "mcrl2/data/assignment.h

class mcrl2::data::assignment_expression

brief Assignment expression

Public member functions

assignment_expression()

brief Default constructor.

assignment_expression(assignment_expression&&) noexcept = default

assignment_expression(const assignment_expression&) noexcept = default

Move semantics.

assignment_expression(const atermpp::aterm &term)

brief Constructor. param term A term

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

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