7 #if defined(__cplusplus)
12 typedef struct isl_printer isl_printer;
14 __isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx, FILE *file);
15 __isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx);
16 void isl_printer_free(__isl_take isl_printer *printer);
18 __isl_give char *isl_printer_get_str(__isl_keep isl_printer *printer);
20 __isl_give isl_printer *isl_printer_set_indent(__isl_take isl_printer *p,
23 #define ISL_FORMAT_ISL 0
24 #define ISL_FORMAT_POLYLIB 1
25 #define ISL_FORMAT_POLYLIB_CONSTRAINTS 2
26 #define ISL_FORMAT_OMEGA 3
27 #define ISL_FORMAT_C 4
28 #define ISL_FORMAT_LATEX 5
29 #define ISL_FORMAT_EXT_POLYLIB 6
30 __isl_give isl_printer *isl_printer_set_output_format(__isl_take isl_printer *p,
33 __isl_give isl_printer *isl_printer_set_prefix(__isl_take isl_printer *p,
35 __isl_give isl_printer *isl_printer_set_suffix(__isl_take isl_printer *p,
37 __isl_give isl_printer *isl_printer_set_isl_int_width(__isl_take isl_printer *p,
40 __isl_give isl_printer *isl_printer_start_line(__isl_take isl_printer *p);
41 __isl_give isl_printer *isl_printer_end_line(__isl_take isl_printer *p);
42 __isl_give isl_printer *isl_printer_print_int(__isl_take isl_printer *p, int i);
43 __isl_give isl_printer *isl_printer_print_isl_int(__isl_take isl_printer *p,
45 __isl_give isl_printer *isl_printer_print_str(__isl_take isl_printer *p,
48 __isl_give isl_printer *isl_printer_flush(__isl_take isl_printer *p);
50 #if defined(__cplusplus)