isl_tab_detect_implicit_equalities: also detect manifest equalities
[isl.git] / isl_bound.h
blob07a805b81cd8841b9f929b1209ce805f288bc012
1 #ifndef ISL_BOUND_H
2 #define ISL_BOUND_H
4 #include <isl_polynomial.h>
6 struct isl_bound {
7 /* input */
8 int check_tight;
9 enum isl_fold type;
10 isl_basic_set *bset;
11 isl_qpolynomial_fold *fold;
13 /* output */
14 isl_pw_qpolynomial_fold *pwf;
15 isl_pw_qpolynomial_fold *pwf_tight;
18 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound(
19 __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *tight);
21 #endif