mcrl2::data::set_container¶

Include file:

#include "mcrl2/data/container_type.h

class mcrl2::data::set_container¶: Container type for sets.

Public member functions¶

set_container &operator=(const set_container&) noexcept = default¶

set_container &operator=(set_container&&) noexcept = default¶

set_container()¶: Default constructor.

set_container(const atermpp::aterm &term)¶

Constructor.

Parameters:

term A term

set_container(const set_container&) noexcept = default¶: Move semantics.

set_container(set_container&&) noexcept = default¶