mcrl2::data::assignment_expression =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/data/assignment.h .. cpp:class:: mcrl2::data::assignment_expression \brief Assignment expression Public member functions ------------------------------------------------------------------------------- .. cpp:function:: assignment_expression() \brief Default constructor. .. cpp:function:: assignment_expression(const atermpp::aterm &term) \brief Constructor. \param term A term .. cpp:function:: assignment_expression(const assignment_expression &) noexcept=default Move semantics. .. cpp:function:: assignment_expression(assignment_expression &&) noexcept=default .. cpp:function:: assignment_expression& operator=(const assignment_expression &) noexcept=default .. cpp:function:: assignment_expression& operator=(assignment_expression &&) noexcept=default