mcrl2::data::container_type

Include file:

#include "mcrl2/data/container_type.h
class mcrl2::data::container_type

Container type.

Public member functions

container_type()

Default constructor.

container_type(const atermpp::aterm &term)

Constructor.

Parameters:

  • 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