mcrl2/core/print_format.h

Include file:

#include "mcrl2/core/print_format.h"

add your file description here.

Enumerated types

type print_format_type

Values:

  • print_default
  • print_internal

print_format_type represents the available pretty print formats

Functions

std::ostream &mcrl2::core::operator<<(std::ostream &os, const print_format_type &pp_format)
std::istream &mcrl2::core::operator>>(std::istream &is, print_format_type &f)
print_format_type mcrl2::core::parse_pp_format(const std::string &s)
std::string mcrl2::core::pp_format_to_string(const print_format_type pp_format)

Print string representation of pretty print format.

Parameters:

  • pp_format a pretty print format

Returns: string representation of the pretty print format exception * mcrl2::runtime error if an unknown pretty print format is passed into the function.