From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 20 May 2011 10:06:13 +0000 (+0200)
Subject: add isl_basic_set_max
X-Git-Tag: isl-0.07~173
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=200392aeeff82c3d5d5e82a6569fdcb98f766b39;p=platform%2Fupstream%2Fisl.git

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
--- 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
--- 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
--- 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)
 {