isl_bound.h

Go to the documentation of this file.

#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