isl_tab_lexmin_add_eq: make sure the tableau has enough room
[isl.git] / isl_lp_private.h
blobddc44c1eeda514028f3127808deb98808255092e
1 #ifndef ISL_LP_PRIVATE_H
2 #define ISL_LP_PRIVATE_H
4 #include <isl_int.h>
5 #include <isl/lp.h>
6 #include <isl/vec.h>
8 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,
9 int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
10 __isl_give isl_vec **sol);
11 enum isl_lp_result isl_basic_set_solve_lp(__isl_keep isl_basic_set *bset,
12 int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
13 __isl_give isl_vec **sol);
14 enum isl_lp_result isl_map_solve_lp(__isl_keep isl_map *map, int max,
15 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
16 __isl_give isl_vec **sol);
17 enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,
18 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
19 __isl_give isl_vec **sol);
21 #endif