30 lines · c
1#ifndef ISL_BOUND_H2#define ISL_BOUND_H3 4#include <isl/polynomial.h>5 6struct 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 24isl_stat isl_bound_add(struct isl_bound *bound,25 __isl_take isl_pw_qpolynomial_fold *pwf);26isl_stat isl_bound_add_tight(struct isl_bound *bound,27 __isl_take isl_pw_qpolynomial_fold *pwf);28 29#endif30