free(p);
}
+isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer)
+{
+ return printer ? printer->ctx : NULL;
+}
+
__isl_give isl_printer *isl_printer_set_isl_int_width(__isl_take isl_printer *p,
int width)
{
return p;
}
+__isl_give isl_printer *isl_printer_indent(__isl_take isl_printer *p,
+ int indent)
+{
+ if (!p)
+ return NULL;
+
+ p->indent += indent;
+ if (p->indent < 0)
+ p->indent = 0;
+
+ return p;
+}
+
__isl_give isl_printer *isl_printer_set_prefix(__isl_take isl_printer *p,
const char *prefix)
{