isl_scheduler.c: non_neg_lexmin: improve documentation
[isl.git] / isl_ilp_private.h
blob932b2c3d4f27cdf9f87605a3c3c74dfde3082604
1 #ifndef ISL_ILP_PRIVATE_H
2 #define ISL_ILP_PRIVATE_H
4 #include <isl_int.h>
5 #include <isl/lp.h>
6 #include <isl/set.h>
8 enum isl_lp_result isl_basic_set_solve_ilp(__isl_keep isl_basic_set *bset,
9 int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p);
11 #endif