mcrl2::data::list_container

Include file:

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

Container type for lists.

Public member functions

list_container()

Default constructor.

list_container(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
list_container(const list_container&) noexcept = default

Move semantics.

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