diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2011-05-20 12:06:13 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2011-05-20 15:10:00 +0200 |
commit | 200392aeeff82c3d5d5e82a6569fdcb98f766b39 (patch) | |
tree | d1283b35747e2042e4f673388d356df1b88a0c81 /isl_ilp.c | |
parent | e2cbb6c20e8bb3847d96fb485336ac6b763ec02e (diff) | |
download | isl-200392aeeff82c3d5d5e82a6569fdcb98f766b39.tar.gz isl-200392aeeff82c3d5d5e82a6569fdcb98f766b39.tar.bz2 isl-200392aeeff82c3d5d5e82a6569fdcb98f766b39.zip |
add isl_basic_set_max
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_ilp.c')
-rw-r--r-- | isl_ilp.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -466,6 +466,12 @@ enum isl_lp_result isl_set_opt(__isl_keep isl_set *set, int max, return empty ? isl_lp_empty : isl_lp_ok; } +enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset, + __isl_keep isl_aff *obj, isl_int *opt) +{ + return isl_basic_set_opt(bset, 1, obj, opt); +} + enum isl_lp_result isl_set_max(__isl_keep isl_set *set, __isl_keep isl_aff *obj, isl_int *opt) { |