diff options
Diffstat (limited to 'polly/lib/External/isl/isl_ilp_private.h')
| -rw-r--r-- | polly/lib/External/isl/isl_ilp_private.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_ilp_private.h b/polly/lib/External/isl/isl_ilp_private.h new file mode 100644 index 00000000000..932b2c3d4f2 --- /dev/null +++ b/polly/lib/External/isl/isl_ilp_private.h @@ -0,0 +1,11 @@ +#ifndef ISL_ILP_PRIVATE_H +#define ISL_ILP_PRIVATE_H + +#include <isl_int.h> +#include <isl/lp.h> +#include <isl/set.h> + +enum isl_lp_result isl_basic_set_solve_ilp(__isl_keep isl_basic_set *bset, + int max, isl_int *f, isl_int *opt, __isl_give isl_vec **sol_p); + +#endif |
