add isl_basic_{set,map}_dump

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

3 files changed, 30 insertions, 0 deletions

diff --git a/include/isl/map.h b/include/isl/map.h
index e4413503..b4b6f12f 100644
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -157,6 +157,7 @@ __isl_give isl_map *isl_map_read_from_file(struct isl_ctx *ctx,
 		FILE *input, int nparam);
 __isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx,
 		const char *str, int nparam);
+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_print(__isl_keep isl_map *map, FILE *out, int indent,
diff --git a/include/isl/set.h b/include/isl/set.h
index 3681d801..85144ddd 100644
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -95,6 +95,7 @@ __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx,
 		FILE *input, int nparam);
 __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);
 __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,
diff --git a/isl_output.c b/isl_output.c
index 6cdb1db7..d00f1445 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -1166,6 +1166,34 @@ void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent,
 	isl_printer_free(printer);
 }
 
+void isl_basic_map_dump(__isl_keep isl_basic_map *bmap)
+{
+	isl_printer *printer;
+
+	if (!bmap)
+		return;
+
+	printer = isl_printer_to_file(isl_basic_map_get_ctx(bmap), stderr);
+	printer = isl_printer_print_basic_map(printer, bmap);
+	printer = isl_printer_end_line(printer);
+
+	isl_printer_free(printer);
+}
+
+void isl_basic_set_dump(__isl_keep isl_basic_set *bset)
+{
+	isl_printer *printer;
+
+	if (!bset)
+		return;
+
+	printer = isl_printer_to_file(isl_basic_set_get_ctx(bset), stderr);
+	printer = isl_printer_print_basic_set(printer, bset);
+	printer = isl_printer_end_line(printer);
+
+	isl_printer_free(printer);
+}
+
 void isl_union_map_dump(__isl_keep isl_union_map *umap)
 {
 	isl_printer *printer;