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