isl_solve_lp: use tableaus instead of calling piplib (by default)
[isl.git] / include / isl_lp.h
blobc86b93be31659176105c8fb5c7bf5dae378c4f4d
1 #ifndef ISL_LP_H
2 #define ISL_LP_H
4 #include <isl_map.h>
6 enum isl_lp_result {
7 isl_lp_error = -1,
8 isl_lp_ok = 0,
9 isl_lp_unbounded,
10 isl_lp_empty
13 #if defined(__cplusplus)
14 extern "C" {
15 #endif
17 enum isl_lp_result isl_solve_lp(struct isl_basic_map *bmap, int maximize,
18 isl_int *f, isl_int denom, isl_int *opt,
19 isl_int *opt_denom);
21 #if defined(__cplusplus)
23 #endif
25 #endif