summaryrefslogtreecommitdiff
path: root/isl_ilp.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2011-05-20 12:06:13 +0200
committerSven Verdoolaege <skimo@kotnet.org>2011-05-20 15:10:00 +0200
commit200392aeeff82c3d5d5e82a6569fdcb98f766b39 (patch)
treed1283b35747e2042e4f673388d356df1b88a0c81 /isl_ilp.c
parente2cbb6c20e8bb3847d96fb485336ac6b763ec02e (diff)
downloadisl-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.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/isl_ilp.c b/isl_ilp.c
index ec0fe30c..1994a682 100644
--- a/isl_ilp.c
+++ b/isl_ilp.c
@@ -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)
{