From cad033af07a3c29ff9d57ff0720ccf9cf361eb10 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 29 Jul 2009 14:40:46 +0200
Subject: [PATCH] add isl_basic_set_partial_lex{min,max}

---
 include/isl_set.h |  6 ++++++
 isl_map.c         | 18 ++++++++++++++++++
 2 files changed, 24 insertions(+)

diff --git a/include/isl_set.h b/include/isl_set.h
index 1bd1101f..7c467d2f 100644
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -135,6 +135,12 @@ struct isl_set *isl_set_to_underlying_set(struct isl_set *set);
 int isl_basic_set_is_equal(
 		struct isl_basic_set *bset1, struct isl_basic_set *bset2);
 
+struct isl_set *isl_basic_set_partial_lexmin(
+		struct isl_basic_set *bset, struct isl_basic_set *dom,
+		struct isl_set **empty);
+struct isl_set *isl_basic_set_partial_lexmax(
+		struct isl_basic_set *bset, struct isl_basic_set *dom,
+		struct isl_set **empty);
 struct isl_set *isl_basic_set_lexmin(struct isl_basic_set *bset);
 struct isl_set *isl_basic_set_union(
 		struct isl_basic_set *bset1,
diff --git a/isl_map.c b/isl_map.c
index 7b111601..868d9fbd 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -2977,6 +2977,24 @@ struct isl_map *isl_basic_map_partial_lexmin(
 	return isl_pip_basic_map_lexmin(bmap, dom, empty);
 }
 
+struct isl_set *isl_basic_set_partial_lexmin(
+		struct isl_basic_set *bset, struct isl_basic_set *dom,
+		struct isl_set **empty)
+{
+	return (struct isl_set *)
+		isl_basic_map_partial_lexmin((struct isl_basic_map *)bset,
+			dom, empty);
+}
+
+struct isl_set *isl_basic_set_partial_lexmax(
+		struct isl_basic_set *bset, struct isl_basic_set *dom,
+		struct isl_set **empty)
+{
+	return (struct isl_set *)
+		isl_basic_map_partial_lexmax((struct isl_basic_map *)bset,
+			dom, empty);
+}
+
 struct isl_set *isl_basic_set_lexmin(struct isl_basic_set *bset)
 {
 	struct isl_basic_map *bmap = NULL;
-- 
2.11.4.GIT