mcrl2::data::container_type

Include file:

#include "mcrl2/data/container_type.h

class mcrl2::data::container_type

brief Container type

Public member functions

container_type()

brief Default constructor.

container_type(const atermpp::aterm &term)

brief Constructor. param term A term

container_type(const container_type&) noexcept = default

Move semantics.

container_type(container_type&&) noexcept = default

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

container_type &operator=(container_type&&) noexcept = default