mcrl2/core/print_format.h

Include file:

#include "mcrl2/core/print_format.h"

add your file description here.

Enumerated types

type mcrl2::core::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.