From b99425d2da398f999d1fb09a93855c6bc415b31b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 7 Sep 2013 19:15:13 +0200 Subject: [PATCH] declare isl_map_to_str Signed-off-by: Sven Verdoolaege --- doc/user.pod | 4 ++++ include/isl/map.h | 1 + 2 files changed, 5 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 30f6c8d6..e5191bda 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -3100,6 +3100,10 @@ in isl format. __isl_give char *isl_set_to_str( __isl_keep isl_set *set); + #include + __isl_give char *isl_map_to_str( + __isl_keep isl_map *map); + #include __isl_give char *isl_union_pw_multi_aff_to_str( __isl_keep isl_union_pw_multi_aff *upma); diff --git a/include/isl/map.h b/include/isl/map.h index f38a7266..6542a9e1 100644 --- a/include/isl/map.h +++ b/include/isl/map.h @@ -216,6 +216,7 @@ 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_take isl_printer *printer, __isl_keep isl_basic_map *bmap); +__isl_give char *isl_map_to_str(__isl_keep isl_map *map); __isl_give isl_printer *isl_printer_print_map(__isl_take isl_printer *printer, __isl_keep isl_map *map); __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap, -- 2.11.4.GIT