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