12#ifndef MCRL2_CORE_PRINT_FORMAT_H
13#define MCRL2_CORE_PRINT_FORMAT_H
58 else if(s ==
"internal")
79 is.setstate(std::ios_base::failbit);
Standard exception class for reporting runtime errors.
Exception classes for use in libraries and tools.
print_format_type
print_format_type represents the available pretty print formats
std::string pp_format_to_string(const print_format_type pp_format)
Print string representation of pretty print format.
std::istream & operator>>(std::istream &is, print_format_type &f)
std::ostream & operator<<(std::ostream &out, const identifier_string &x)
print_format_type parse_pp_format(const std::string &s)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...