export isl_map_align_divs

diff --git a/doc/user.pod b/doc/user.pod
index aba18ea..c77430b 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -644,6 +644,15 @@ variables as integer divisions of the other variables, possibly
 including earlier existentially quantified variables.
 An explicitly represented existentially quantified variable therefore
 has a unique value when the values of the other variables are known.
+If, furthermore, the same existentials, i.e., existentials
+with the same explicit representations, should appear in the
+same order in each of the disjuncts of a set or map, then the user should call
+either of the following functions.
+
+       __isl_give isl_set *isl_set_align_divs(
+               __isl_take isl_set *set);
+       __isl_give isl_map *isl_map_align_divs(
+               __isl_take isl_map *map);
 
 To iterate over all the basic sets or maps in a set or map, use
 

diff --git a/include/isl_map.h b/include/isl_map.h
index 3bf192c..772d7c1 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -345,6 +345,7 @@ int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2);
 
 __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);
 
 void isl_map_dump(__isl_keep isl_map *map, FILE *out, int indent);
 

diff --git a/include/isl_set.h b/include/isl_set.h
index ab020d7..cb99c72 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -258,6 +258,7 @@ int isl_set_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 
 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);
 
 struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set);
 struct isl_set *isl_set_drop_basic_set(struct isl_set *set,

diff --git a/isl_map_private.h b/isl_map_private.h
index ebfeea5..47d62ca 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -87,8 +87,6 @@ struct isl_basic_map *isl_basic_map_align_divs(
                struct isl_basic_map *dst, struct isl_basic_map *src);
 struct isl_basic_set *isl_basic_set_align_divs(
                struct isl_basic_set *dst, struct isl_basic_set *src);
-struct isl_map *isl_map_align_divs(struct isl_map *map);
-struct isl_set *isl_set_align_divs(struct isl_set *set);
 struct isl_basic_map *isl_basic_map_gauss(
        struct isl_basic_map *bmap, int *progress);
 struct isl_basic_set *isl_basic_set_gauss(