export isl_map_make_disjoint

diff --git a/doc/user.pod b/doc/user.pod
index 8666089..d5e83de 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -667,6 +667,16 @@ The callback function C<fn> should return 0 if successful and
 -1 if an error occurs.  In the latter case, or if any other error
 occurs, the above functions will return -1.
 
+It should be noted that C<isl> does not guarantee that
+the basic sets or maps passed to C<fn> are disjoint.
+If this is required, then the user should call one of
+the following functions first.
+
+       __isl_give isl_set *isl_set_make_disjoint(
+               __isl_take isl_set *set);
+       __isl_give isl_map *isl_map_make_disjoint(
+               __isl_take isl_map *map);
+
 To iterate over the constraints of a basic set or map, use
 
        #include <isl_constraint.h>

diff --git a/include/isl_map.h b/include/isl_map.h
index 772d7c1..a05b92e 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -343,6 +343,7 @@ int isl_map_is_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 
+__isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap);
 __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map);
 __isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map);

diff --git a/include/isl_set.h b/include/isl_set.h
index 384a359..60f8208 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -261,6 +261,7 @@ int isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_is_strict_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 
+__isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
 struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);

diff --git a/isl_map_private.h b/isl_map_private.h
index 47d62ca..debd70c 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -147,8 +147,5 @@ struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset,
        struct isl_mat *mat);
 struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat);
 
-__isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
-__isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map);
-
 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set,
        isl_int *facet, isl_int *ridge);