mcrl2/lps/print.h

Include file:

#include "mcrl2/lps/print.h"

add your file description here.

Classes

  • mcrl2::lps::detail::printer
  • mcrl2::lps::stream_printer

Functions

std::string mcrl2::lps::pp(const T &x)

Returns a string representation of the object x.