add isl_basic_set_max

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

diff --git a/doc/user.pod b/doc/user.pod
index 2e3c026..e3277a3 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1546,6 +1546,9 @@ per space.
 =item * Optimization
 
        #include <isl/ilp.h>
+       enum isl_lp_result isl_basic_set_max(
+               __isl_keep isl_basic_set *bset,
+               __isl_keep isl_aff *obj, isl_int *opt)
        enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
                __isl_keep isl_aff *obj, isl_int *opt);
 

diff --git a/include/isl/ilp.h b/include/isl/ilp.h
index 9d19543..c760141 100644 (file)
--- a/include/isl/ilp.h
+++ b/include/isl/ilp.h
@@ -20,6 +20,8 @@ extern "C" {
 enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,
                                      isl_int *f, isl_int *opt,
                                      struct isl_vec **sol_p);
+enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset,
+       __isl_keep isl_aff *obj, isl_int *opt);
 enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
        __isl_keep isl_aff *obj, isl_int *opt);
 

diff --git a/isl_ilp.c b/isl_ilp.c
index ec0fe30..1994a68 100644 (file)
--- 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)
 {