document isl_map_reverse

diff --git a/doc/user.pod b/doc/user.pod
index e2f496d..4c5a733 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -853,6 +853,13 @@ is already known to be empty.
        __isl_give isl_set *isl_set_complement(
                __isl_take isl_set *set);
 
+=item * Inverse map
+
+       __isl_give isl_basic_map *isl_basic_map_reverse(
+               __isl_take isl_basic_map *bmap);
+       __isl_give isl_map *isl_map_reverse(
+               __isl_take isl_map *map);
+
 =item * Projection
 
        __isl_give isl_basic_set *isl_basic_set_project_out(

diff --git a/include/isl_map.h b/include/isl_map.h
index 69c2098..c0166ab 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -171,7 +171,7 @@ __isl_give isl_basic_map *isl_basic_map_apply_range(
                __isl_take isl_basic_map *bmap2);
 __isl_give isl_basic_map *isl_basic_map_affine_hull(
                __isl_take isl_basic_map *bmap);
-struct isl_basic_map *isl_basic_map_reverse(struct isl_basic_map *bmap);
+__isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap);
 __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap);
 __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap);
 struct isl_basic_map *isl_basic_map_remove(struct isl_basic_map *bmap,
@@ -279,7 +279,7 @@ void isl_map_free(__isl_take isl_map *map);
 __isl_give isl_map *isl_map_copy(__isl_keep isl_map *map);
 struct isl_map *isl_map_extend(struct isl_map *base,
                unsigned nparam, unsigned n_in, unsigned n_out);
-struct isl_map *isl_map_reverse(struct isl_map *map);
+__isl_give isl_map *isl_map_reverse(__isl_take isl_map *map);
 __isl_give isl_map *isl_map_union(
                __isl_take isl_map *map1,
                __isl_take isl_map *map2);