add isl_set_detect_equalities

diff --git a/include/isl_set.h b/include/isl_set.h
index 084aca5..eb4f72f 100644 (file)
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -172,6 +172,7 @@ void isl_set_free(__isl_take isl_set *set);
 struct isl_set *isl_set_dup(struct isl_set *set);
 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset);
 __isl_give isl_basic_set *isl_set_sample(__isl_take isl_set *set);
+__isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set);
 __isl_give isl_basic_set *isl_set_affine_hull(__isl_take isl_set *set);
 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set);
 struct isl_basic_set *isl_set_simple_hull(struct isl_set *set);

diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 00108ce..e345151 100644 (file)
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -641,6 +641,11 @@ error:
        return NULL;
 }
 
+__isl_give isl_set *isl_set_detect_equalities(__isl_take isl_set *set)
+{
+       return (isl_set *)isl_map_detect_equalities((isl_map *)set);
+}
+
 /* After computing the rational affine hull (by detecting the implicit
  * equalities), we compute the additional equalities satisfied by
  * the integer points (if any) and add the original equalities back in.