Include file:
#include "mcrl2/data/forall.h"
The class forall.
mcrl2::data::forall
mcrl2::data::
::
make_forall
operator<<
brief Outputs the object to a stream param out An output stream param x Object x return The output stream
swap
brief swap overload
mcrl2/data/find_equalities.h
mcrl2/data/fourier_motzkin.h