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