1 #ifndef ISL_BOUND_H 2 #define ISL_BOUND_H 3 4 #include <isl/polynomial.h> 5 6 struct isl_bound { 7 /* input */ 8 int check_tight; 9 int wrapping; 10 enum isl_fold type; 11 isl_space *dim; 12 isl_basic_set *bset; 13 isl_qpolynomial_fold *fold; 14 15 /* output */ 16 isl_pw_qpolynomial_fold *pwf; 17 isl_pw_qpolynomial_fold *pwf_tight; 18 }; 19 20 __isl_give isl_pw_qpolynomial_fold *isl_qpolynomial_cst_bound( 21 __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, 22 enum isl_fold type, isl_bool *tight); 23 24 isl_stat isl_bound_add(struct isl_bound *bound, 25 __isl_take isl_pw_qpolynomial_fold *pwf); 26 isl_stat isl_bound_add_tight(struct isl_bound *bound, 27 __isl_take isl_pw_qpolynomial_fold *pwf); 28 29 #endif 30