1 /* 2 * Copyright 2008-2009 Katholieke Universiteit Leuven 3 * 4 * Use of this software is governed by the MIT license 5 * 6 * Written by Sven Verdoolaege, K.U.Leuven, Departement 7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium 8 */ 9 10 #ifndef ISL_ILP_H 11 #define ISL_ILP_H 12 13 #include <isl/aff_type.h> 14 #include <isl/lp.h> 15 16 #if defined(__cplusplus) 17 extern "C" { 18 #endif 19 20 enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max, 21 isl_int *f, isl_int *opt, 22 struct isl_vec **sol_p); 23 enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset, 24 __isl_keep isl_aff *obj, isl_int *opt); 25 enum isl_lp_result isl_set_min(__isl_keep isl_set *set, 26 __isl_keep isl_aff *obj, isl_int *opt); 27 enum isl_lp_result isl_set_max(__isl_keep isl_set *set, 28 __isl_keep isl_aff *obj, isl_int *opt); 29 30 #if defined(__cplusplus) 31 } 32 #endif 33 34 #endif 35
