From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 1 Oct 2009 09:23:05 +0000 (+0200)
Subject: add isl_set_detect_equalities
X-Git-Tag: isl-0.02~281
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=6f0fbba2c3d65331d63b43b5964b0a3d67f327df;p=platform%2Fupstream%2Fisl.git

add isl_set_detect_equalities
---

diff --git a/include/isl_set.h b/include/isl_set.h
index 084aca5..eb4f72f 100644
--- 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
--- 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.