add isl_basic_set_remove_divs_involving_dims

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

diff --git a/doc/user.pod b/doc/user.pod
index 4e414c0..8c9176a 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1409,6 +1409,11 @@ using the following functions, which compute an overapproximation.
 It is also possible to only remove those divs that are defined
 in terms of a given range of dimensions.
 
+       __isl_give isl_basic_set *
+       isl_basic_set_remove_divs_involving_dims(
+               __isl_take isl_basic_set *bset,
+               enum isl_dim_type type,
+               unsigned first, unsigned n);
        __isl_give isl_set *isl_set_remove_divs_involving_dims(
                __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 c858b4a..adbbd2b 100644 (file)
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -336,6 +336,9 @@ struct isl_set *isl_set_eliminate_dims(struct isl_set *set,
                unsigned first, unsigned n);
 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,
        enum isl_dim_type type, unsigned first, unsigned n);
+__isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims(
+       __isl_take isl_basic_set *bset,
+       enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,
        enum isl_dim_type type, unsigned first, unsigned n);
 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set);

diff --git a/isl_map.c b/isl_map.c
index ec96252..c1ab54a 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -1972,6 +1972,13 @@ error:
        return NULL;
 }
 
+__isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims(
+       __isl_take isl_basic_set *bset,
+       enum isl_dim_type type, unsigned first, unsigned n)
+{
+       return isl_basic_map_remove_divs_involving_dims(bset, type, first, n);
+}
+
 __isl_give isl_map *isl_map_remove_divs_involving_dims(__isl_take isl_map *map,
        enum isl_dim_type type, unsigned first, unsigned n)
 {