Include file:
#include "mcrl2/data/untyped_set_or_bag_comprehension.h"
add your file description here.
mcrl2::data::
operator<<
(std::ostream &out, const untyped_set_or_bag_comprehension &x)Outputs the object to a stream.
Parameters:
out An output stream
x Object x
Returns: The output stream
pp
(const untyped_set_or_bag_comprehension &x)mcrl2::data::
swap
(untyped_set_or_bag_comprehension &t1, untyped_set_or_bag_comprehension &t2)swap overload