| #ifndef ISL_BOUND_H |
| #define ISL_BOUND_H |
| |
| #include <isl/polynomial.h> |
| |
| struct isl_bound { |
| /* input */ |
| int check_tight; |
| int wrapping; |
| enum isl_fold type; |
| isl_space *dim; |
| isl_basic_set *bset; |
| isl_qpolynomial_fold *fold; |
| |
| /* output */ |
| isl_pw_qpolynomial_fold *pwf; |
| isl_pw_qpolynomial_fold *pwf_tight; |
| }; |
| |
| __isl_give isl_pw_qpolynomial_fold *isl_qpolynomial_cst_bound( |
| __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, |
| enum isl_fold type, isl_bool *tight); |
| |
| isl_stat isl_bound_add(struct isl_bound *bound, |
| __isl_take isl_pw_qpolynomial_fold *pwf); |
| isl_stat isl_bound_add_tight(struct isl_bound *bound, |
| __isl_take isl_pw_qpolynomial_fold *pwf); |
| |
| #endif |