mcrl2/data/exists.h

Include file:

#include "mcrl2/data/exists.h"

The class exists.

Functions

void mcrl2::data::make_exists(atermpp::aterm &result, ARGUMENTS... arguments)
std::ostream &mcrl2::data::operator<<(std::ostream &out, const exists &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

void mcrl2::data::swap(exists &t1, exists &t2)

brief swap overload