void isl_basic_map_dump(__isl_keep isl_basic_map *bmap);
void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int indent,
const char *prefix, const char *suffix, unsigned output_format);
+void isl_map_dump(__isl_keep isl_map *map);
void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent,
unsigned output_format);
__isl_give isl_printer *isl_printer_print_basic_map(
__isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx,
const char *str, int nparam);
void isl_basic_set_dump(__isl_keep isl_basic_set *bset);
+void isl_set_dump(__isl_keep isl_set *set);
__isl_give isl_printer *isl_printer_print_basic_set(
__isl_take isl_printer *printer, __isl_keep isl_basic_set *bset);
__isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *printer,
isl_printer_free(printer);
}
+void isl_map_dump(__isl_keep isl_map *map)
+{
+ isl_printer *printer;
+
+ if (!map)
+ return;
+
+ printer = isl_printer_to_file(isl_map_get_ctx(map), stderr);
+ printer = isl_printer_print_map(printer, map);
+ printer = isl_printer_end_line(printer);
+
+ isl_printer_free(printer);
+}
+
+void isl_set_dump(__isl_keep isl_set *set)
+{
+ isl_printer *printer;
+
+ if (!set)
+ return;
+
+ printer = isl_printer_to_file(isl_set_get_ctx(set), stderr);
+ printer = isl_printer_print_set(printer, set);
+ printer = isl_printer_end_line(printer);
+
+ isl_printer_free(printer);
+}
+
void isl_union_map_dump(__isl_keep isl_union_map *umap)
{
isl_printer *printer;