mcrl2::data::fbag_container

Include file:

#include "mcrl2/data/container_type.h

class mcrl2::data::fbag_container

brief Container type for finite bags

Public member functions

fbag_container()

brief Default constructor.

fbag_container(const atermpp::aterm &term)

brief Constructor. param term A term

fbag_container(const fbag_container&) noexcept = default

Move semantics.

fbag_container(fbag_container&&) noexcept = default

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

fbag_container &operator=(fbag_container&&) noexcept = default