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