mcrl2::data::bag_comprehension =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/data/bag_comprehension.h .. cpp:class:: mcrl2::data::bag_comprehension universal quantification. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: bag_comprehension(bag_comprehension &&) noexcept=default .. cpp:function:: bag_comprehension(const aterm &d) Constructor. **Parameters:** * **d** An aterm. **Pre:** d has the interal structure of an abstraction. **Pre:** d is a universal quantification. .. cpp:function:: bag_comprehension(const bag_comprehension &) noexcept=default Move semantics. .. cpp:function:: bag_comprehension(const Container &variables, const data_expression &body, typename atermpp::enable_if_container< Container, variable >::type *=nullptr) Constructor. **Parameters:** * **variables** A nonempty list of binding variables (objects of type variable). * **body** The body of the bag_comprehension abstraction. **Pre:** variables is not empty. .. cpp:function:: bag_comprehension& operator=(bag_comprehension &&) noexcept=default .. cpp:function:: bag_comprehension& operator=(const bag_comprehension &) noexcept=default