PPL
1.2
|
#include "globals_defs.hh"
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Parma_Polyhedra_Library::IO_Operators | |
All input/output operators are confined to this namespace. | |
Functions | |
std::string | Parma_Polyhedra_Library::IO_Operators::wrap_string (const std::string &src_string, unsigned indent_depth, unsigned preferred_first_line_length, unsigned preferred_line_length) |
Utility function for the wrapping of lines of text. More... | |