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¶