add isl_basic_set_partial_lex{min,max}

diff --git a/include/isl_set.h b/include/isl_set.h
index 1bd1101..7c467d2 100644 (file)
--- 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 7b11160..868d9fb 100644 (file)
--- 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;