Include file:
#include "mcrl2/data/where_clause.h"
The class where_clause.
mcrl2::data::
make_where_clause
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_where_clause constructs a new term into a given address.
Parameters:
mcrl2::data::
operator<<
(std::ostream &out, const where_clause &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::data::
swap
(where_clause &t1, where_clause &t2)¶brief swap overload