From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 24 Jun 2011 12:33:35 +0000 (+0200)
Subject: add isl_basic_set_foreach_lexmax
X-Git-Tag: isl-0.07~74
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=2e009272e35962c5cfe5c41796e1ab51b7678c16;p=platform%2Fupstream%2Fisl.git

add isl_basic_set_foreach_lexmax

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

diff --git a/include/isl/set.h b/include/isl/set.h
index c5b43eb..798020c 100644
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -154,6 +154,11 @@ __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset);
 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset);
 __isl_give isl_set *isl_set_lexmin(__isl_take isl_set *set);
 __isl_give isl_set *isl_set_lexmax(__isl_take isl_set *set);
+int isl_basic_set_foreach_lexmax(__isl_keep isl_basic_set *bset,
+	int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
+		  void *user),
+	void *user);
+
 __isl_give isl_set *isl_basic_set_union(
 		__isl_take isl_basic_set *bset1,
 		__isl_take isl_basic_set *bset2);
diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 073380e..2f39a08 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4677,6 +4677,14 @@ int isl_basic_map_foreach_lexmax(__isl_keep isl_basic_map *bmap,
 	return isl_basic_map_foreach_lexopt(bmap, 1, fn, user);
 }
 
+int isl_basic_set_foreach_lexmax(__isl_keep isl_basic_set *bset,
+	int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
+		  void *user),
+	void *user)
+{
+	return isl_basic_map_foreach_lexmax(bset, fn, user);
+}
+
 /* Check if the given sequence of len variables starting at pos
  * represents a trivial (i.e., zero) solution.
  * The variables are assumed to be non-negative and to come in pairs,