From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 11 Apr 2012 12:50:48 +0000 (+0200)
Subject: add isl_basic_set_eliminate
X-Git-Tag: isl-0.11~250
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c4f2454e4dae11628bd9754623bb1a960b1963ef;p=platform%2Fupstream%2Fisl.git

add isl_basic_set_eliminate

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

diff --git a/doc/user.pod b/doc/user.pod
index 6a736c1..e6ed8d2 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1920,6 +1920,10 @@ that maps (a wrapped version of) the input relation to its domain or range.
 
 =item * Elimination
 
+	__isl_give isl_basic_set *isl_basic_set_eliminate(
+		__isl_take isl_basic_set *bset,
+		enum isl_dim_type type,
+		unsigned first, unsigned n);
 	__isl_give isl_set *isl_set_eliminate(
 		__isl_take isl_set *set, enum isl_dim_type type,
 		unsigned first, unsigned n);
diff --git a/include/isl/set.h b/include/isl/set.h
index f2e85ad..c858b4a 100644
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -327,6 +327,9 @@ __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,
 		enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_basic_set *isl_basic_set_remove_divs(
 	__isl_take isl_basic_set *bset);
+__isl_give isl_basic_set *isl_basic_set_eliminate(
+	__isl_take isl_basic_set *bset,
+	enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,
 	enum isl_dim_type type, unsigned first, unsigned n);
 struct isl_set *isl_set_eliminate_dims(struct isl_set *set,
diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 7b14003..6cdfeed 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1541,6 +1541,13 @@ error:
 	return NULL;
 }
 
+__isl_give isl_basic_set *isl_basic_set_eliminate(
+	__isl_take isl_basic_set *bset,
+	enum isl_dim_type type, unsigned first, unsigned n)
+{
+	return isl_basic_map_eliminate(bset, type, first, n);
+}
+
 /* Don't assume equalities are in order, because align_divs
  * may have changed the order of the divs.
  */