isl_bound.h

   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