print_utility.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::core
namespace	mcrl2::core::detail

Functions
template<typename Container >
std::string	mcrl2::core::detail::print_container (const Container &v, const std::string &begin_marker="(", const std::string &end_marker=")", const std::string &message="", bool print_index=false, bool boundary_spaces=true)
	Creates a string representation of a container using the pp pretty print function.
template<typename Container >
std::string	mcrl2::core::detail::print_list (const Container &v, const std::string &message="", bool print_index=false, bool boundary_spaces=true)
	Creates a string representation of a container.
template<typename Container >
std::string	mcrl2::core::detail::print_set (const Container &v, const std::string &message="", bool print_index=false, bool boundary_spaces=true)
	Creates a string representation of a container.
template<typename MapContainer >
std::string	mcrl2::core::detail::print_map (const MapContainer &v, const std::string &message="")
	Creates a string representation of a map.
template<typename Container >
std::string	mcrl2::core::detail::print_arguments (const Container &v)
	Prints a comma separated list of the elements of v. If v is empty, the empty string is returned.

Detailed Description

add your file description here.

Definition in file print_utility.h.