mcrl2::data::fbag_container

Include file:

#include "mcrl2/data/container_type.h
class mcrl2::data::fbag_container

Container type for finite bags.

Public member functions

fbag_container()

Default constructor.

fbag_container(const atermpp::aterm &term)

Constructor.

Parameters:

  • 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