export isl_set_plain_cmp

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

diff --git a/doc/user.pod b/doc/user.pod
index cdb46d6..6099c07 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1955,6 +1955,17 @@ Check whether the range of the (basic) relation is a wrapped relation.
 Check whether the first argument is a (strict) subset of the
 second argument.
 
+=item * Order
+
+       int isl_set_plain_cmp(__isl_keep isl_set *set1,
+               __isl_keep isl_set *set2);
+
+This function is useful for sorting C<isl_set>s.
+The order depends on the internal representation of the inputs.
+The order is fixed over different calls to the function (assuming
+the internal representation of the inputs has not changed), but may
+change over different versions of C<isl>.
+
 =back
 
 =head2 Unary Operations

diff --git a/include/isl/set.h b/include/isl/set.h
index e9ca691..8276f20 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -424,6 +424,7 @@ int isl_set_dim_residue_class(struct isl_set *set,
 __isl_export
 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
 
+int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_plain_is_disjoint(__isl_keep isl_set *set1,

diff --git a/isl_map.c b/isl_map.c
index 244cb59..c83a446 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -8179,8 +8179,7 @@ int isl_basic_set_plain_cmp(const __isl_keep isl_basic_set *bset1,
        return isl_basic_map_plain_cmp(bset1, bset2);
 }
 
-int isl_set_plain_cmp(const __isl_keep isl_set *set1,
-       const __isl_keep isl_set *set2)
+int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 {
        int i, cmp;
 

diff --git a/isl_map_private.h b/isl_map_private.h
index b550ae7..32fe7da 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -204,8 +204,6 @@ __isl_give isl_basic_set *isl_basic_set_sort_constraints(
        __isl_take isl_basic_set *bset);
 int isl_basic_map_plain_cmp(const __isl_keep isl_basic_map *bmap1,
        const __isl_keep isl_basic_map *bmap2);
-int isl_set_plain_cmp(const __isl_keep isl_set *set1,
-       const __isl_keep isl_set *set2);
 int isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1,
        __isl_keep isl_basic_set *bset2);
 int isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,

diff --git a/isl_pw_templ.c b/isl_pw_templ.c
index fa757c0..6830cf2 100644 (file)
--- a/isl_pw_templ.c
+++ b/isl_pw_templ.c
@@ -1526,8 +1526,8 @@ __isl_give PW *FN(PW,scale)(__isl_take PW *pw, isl_int v)
 
 static int FN(PW,qsort_set_cmp)(const void *p1, const void *p2)
 {
-       const isl_set *set1 = *(const isl_set **)p1;
-       const isl_set *set2 = *(const isl_set **)p2;
+       isl_set *set1 = *(isl_set * const *)p1;
+       isl_set *set2 = *(isl_set * const *)p2;
 
        return isl_set_plain_cmp(set1, set2);
 }