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_LP_H 11 #define ISL_LP_H 12 13 #include <isl/aff.h> 14 #include <isl/val_type.h> 15 #include <isl/set_type.h> 16 17 enum isl_lp_result { 18 isl_lp_error = -1, 19 isl_lp_ok = 0, 20 isl_lp_unbounded, 21 isl_lp_empty 22 }; 23 24 #if defined(__cplusplus) 25 extern "C" { 26 #endif 27 28 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset, 29 __isl_keep isl_aff *obj); 30 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset, 31 __isl_keep isl_aff *obj); 32 33 #if defined(__cplusplus) 34 } 35 #endif 36 37 #endif 38