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¶