diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2012-02-07 12:11:26 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-02-07 13:00:21 +0100 |
commit | 414b85f67d38ed9aeae9b4d424305956693c812d (patch) | |
tree | bc16338d394d9f906a6a1153069a4f08a4254445 | |
parent | 5d157c90e755f6acc8b214acb5344e052136568f (diff) | |
download | isl-414b85f67d38ed9aeae9b4d424305956693c812d.tar.gz isl-414b85f67d38ed9aeae9b4d424305956693c812d.tar.bz2 isl-414b85f67d38ed9aeae9b4d424305956693c812d.zip |
add isl_basic_set_is_div_constraint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
-rw-r--r-- | isl_map_private.h | 2 | ||||
-rw-r--r-- | isl_map_simplify.c | 6 |
2 files changed, 8 insertions, 0 deletions
diff --git a/isl_map_private.h b/isl_map_private.h index b4feab64..dc6819de 100644 --- 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 29bb39de..145428e4 100644 --- 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 |