Include file:
#include "mcrl2/data/bag_comprehension.h"
add your file description here.
mcrl2::data::
make_untyped_set_or_bag_comprehension
(atermpp::aterm &result, ARGUMENTS... arguments)¶mcrl2::data::
operator<<
(std::ostream &out, const bag_comprehension &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::data::
operator<<
(std::ostream &out, const untyped_set_or_bag_comprehension &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::data::
swap
(bag_comprehension &t1, bag_comprehension &t2)¶brief swap overload
mcrl2::data::
swap
(untyped_set_or_bag_comprehension &t1, untyped_set_or_bag_comprehension &t2)¶brief swap overload