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 /isl_map_simplify.c | |
| 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>
Diffstat (limited to 'isl_map_simplify.c')
| -rw-r--r-- | isl_map_simplify.c | 6 |
1 files changed, 6 insertions, 0 deletions
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 |