mcrl2::data::list_container¶

Include file:

#include "mcrl2/data/container_type.h

class mcrl2::data::list_container¶: brief Container type for lists

Public member functions¶

list_container()¶: brief Default constructor.

list_container(const atermpp::aterm &term)¶: brief Constructor. param 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¶