declare isl_map_remove_unknown_divs

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

diff --git a/doc/user.pod b/doc/user.pod
index ce33015..12e5470 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1424,6 +1424,8 @@ no explicit representation is known.
 
        __isl_give isl_set *isl_set_remove_unknown_divs(
                __isl_take isl_set *set);
+       __isl_give isl_map *isl_map_remove_unknown_divs(
+               __isl_take isl_map *map);
 
 To iterate over all the sets or maps in a union set or map, use
 

diff --git a/include/isl/map.h b/include/isl/map.h
index f965ee5..ecba464 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -414,6 +414,7 @@ __isl_give isl_map *isl_map_project_out(__isl_take isl_map *map,
                enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_basic_map *isl_basic_map_remove_divs(
        __isl_take isl_basic_map *bmap);
+__isl_give isl_map *isl_map_remove_unknown_divs(__isl_take isl_map *map);
 __isl_give isl_map *isl_map_remove_divs(__isl_take isl_map *map);
 __isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map,
        enum isl_dim_type type, unsigned first, unsigned n);