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,
22 __isl_give isl_printer *isl_printer_indent(__isl_take isl_printer *p,
25 #define ISL_FORMAT_ISL 0
26 #define ISL_FORMAT_POLYLIB 1
27 #define ISL_FORMAT_POLYLIB_CONSTRAINTS 2
28 #define ISL_FORMAT_OMEGA 3
29 #define ISL_FORMAT_C 4
30 #define ISL_FORMAT_LATEX 5
31 #define ISL_FORMAT_EXT_POLYLIB 6
32 __isl_give isl_printer *isl_printer_set_output_format(__isl_take isl_printer *p,
35 __isl_give isl_printer *isl_printer_set_prefix(__isl_take isl_printer *p,
37 __isl_give isl_printer *isl_printer_set_suffix(__isl_take isl_printer *p,
39 __isl_give isl_printer *isl_printer_set_isl_int_width(__isl_take isl_printer *p,
42 __isl_give isl_printer *isl_printer_start_line(__isl_take isl_printer *p);
43 __isl_give isl_printer *isl_printer_end_line(__isl_take isl_printer *p);
44 __isl_give isl_printer *isl_printer_print_int(__isl_take isl_printer *p, int i);
45 __isl_give isl_printer *isl_printer_print_isl_int(__isl_take isl_printer *p,
47 __isl_give isl_printer *isl_printer_print_str(__isl_take isl_printer *p,
50 __isl_give isl_printer *isl_printer_flush(__isl_take isl_printer *p);
52 #if defined(__cplusplus)