Include file:
#include "mcrl2/data/container_type.h
mcrl2::data::
set_container
¶Container type for sets.
operator=
(const set_container&) noexcept = default¶operator=
(set_container&&) noexcept = default¶set_container
()¶Default constructor.
set_container
(const set_container&) noexcept = default¶Move semantics.
set_container
(set_container&&) noexcept = default¶