From b4fbd768ba4bed565bc4620d72e36b234148ffdd Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 10 Apr 2013 11:24:10 +0200 Subject: [PATCH] add private isl_basic_set_get_divs We will need this function in the next commit. Signed-off-by: Sven Verdoolaege --- isl_map.c | 7 +++++++ isl_map_private.h | 1 + 2 files changed, 8 insertions(+) diff --git a/isl_map.c b/isl_map.c index 0478d72..d70f3f3 100644 --- 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 --- 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, -- 2.7.4