mcrl2/core/print.h¶

Include file:

#include "mcrl2/core/print.h"

Functions for pretty printing ATerms.

Classes¶

mcrl2::core::stream_printer

Functions¶

std::string mcrl2::core::pp(const T &x)¶: Returns a string representation of the object x.