A class collecting I/O functions. More...
Static Public Member Functions | |
| static native String | wrap_string (String str, int indent_depth, int preferred_first_line_length, int preferred_line_length) |
| Utility function for the wrapping of lines of text. | |
A class collecting I/O functions.
| static native String parma_polyhedra_library::IO::wrap_string | ( | String | str, | |
| int | indent_depth, | |||
| int | preferred_first_line_length, | |||
| int | preferred_line_length | |||
| ) | [static] |
Utility function for the wrapping of lines of text.
| str | The source string holding the lines to wrap. | |
| indent_depth | The indentation depth. | |
| preferred_first_line_length | The preferred length for the first line of text. | |
| preferred_line_length | The preferred length for all the lines but the first one. |
1.6.3