From 2e3a0ee4920e83c1ef28c9735b7fa535d0a73fc0 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 18 Jul 2011 16:28:08 +0200
Subject: [PATCH] add isl_set_min

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 doc/user.pod      | 4 +++-
 include/isl/ilp.h | 2 ++
 isl_ilp.c         | 6 ++++++
 3 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/doc/user.pod b/doc/user.pod
index 76799c1..ef11d92 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1648,10 +1648,12 @@ per space.
 	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_min(__isl_keep isl_set *set,
+		__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);
 
-Compute the maximum of the integer affine expression C<obj>
+Compute the minimum or maximum of the integer affine expression C<obj>
 over the points in C<set>, returning the result in C<opt>.
 The return value may be one of C<isl_lp_error>,
 C<isl_lp_ok>, C<isl_lp_unbounded> or C<isl_lp_empty>.
diff --git a/include/isl/ilp.h b/include/isl/ilp.h
index 460aaed..de5ec80 100644
--- a/include/isl/ilp.h
+++ b/include/isl/ilp.h
@@ -22,6 +22,8 @@ enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,
 				      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_min(__isl_keep isl_set *set,
+	__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 1994a68..542778b 100644
--- a/isl_ilp.c
+++ b/isl_ilp.c
@@ -477,3 +477,9 @@ enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
 {
 	return isl_set_opt(set, 1, obj, opt);
 }
+
+enum isl_lp_result isl_set_min(__isl_keep isl_set *set,
+	__isl_keep isl_aff *obj, isl_int *opt)
+{
+	return isl_set_opt(set, 0, obj, opt);
+}
-- 
2.7.4