add isl_basic_set_is_div_constraint

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

diff --git a/isl_map_private.h b/isl_map_private.h
index b4feab6..dc6819d 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -300,6 +300,8 @@ int isl_basic_set_add_div_constraints_var(__isl_keep isl_basic_set *bset,
        unsigned pos, isl_int *div);
 int isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,
        isl_int *constraint, unsigned div);
+int isl_basic_set_is_div_constraint(__isl_keep isl_basic_set *bset,
+       isl_int *constraint, unsigned div);
 
 __isl_give isl_basic_set *isl_basic_set_from_local_space(
        __isl_take isl_local_space *ls);

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 29bb39d..145428e 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1146,6 +1146,12 @@ int isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,
        return 1;
 }
 
+int isl_basic_set_is_div_constraint(__isl_keep isl_basic_set *bset,
+       isl_int *constraint, unsigned div)
+{
+       return isl_basic_map_is_div_constraint(bset, constraint, div);
+}
+
 
 /* If the only constraints a div d=floor(f/m)
  * appears in are its two defining constraints