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. |
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. |