mcrl2/data/forall.h

Include file:

#include "mcrl2/data/forall.h"

The class forall.

Classes

• mcrl2::data::forall

Functions

void mcrl2::data::make_forall(atermpp::aterm &result, ARGUMENTS... arguments)

std::ostream &mcrl2::data::operator<<(std::ostream &out, const forall &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(forall &t1, forall &t2)

brief swap overload