add private isl_basic_set_get_divs

We will need this function in the next commit.

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

diff --git a/isl_map.c b/isl_map.c
index 0478d72..d70f3f3 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -285,6 +285,13 @@ __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap)
        return div;
 }
 
+/* Extract the divs in "bset" as a matrix.
+ */
+__isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset)
+{
+       return isl_basic_map_get_divs(bset);
+}
+
 __isl_give isl_local_space *isl_basic_map_get_local_space(
        __isl_keep isl_basic_map *bmap)
 {

diff --git a/isl_map_private.h b/isl_map_private.h
index 93010df..66862d7 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -330,6 +330,7 @@ __isl_give isl_basic_set *isl_basic_set_expand_divs(
        __isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp);
 
 int isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap);
+__isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset);
 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap);
 
 __isl_give isl_map *isl_map_inline_foreach_basic_map(__isl_take isl_map *map,