add isl_basic_set_max

[platform/upstream/isl.git] / include / isl / ilp.h

diff --git a/include/isl/ilp.h b/include/isl/ilp.h
index f7db311..c760141 100644 (file)
--- a/include/isl/ilp.h
+++ b/include/isl/ilp.h
@@ -10,6 +10,7 @@
 #ifndef ISL_ILP_H
 #define ISL_ILP_H
 
+#include <isl/aff.h>
 #include <isl/lp.h>
 
 #if defined(__cplusplus)
@@ -19,6 +20,10 @@ 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);
 
 #if defined(__cplusplus)
 }