07a805b81cd8841b9f929b1209ce805f288bc012
[platform/upstream/isl.git] / 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         enum isl_fold type;
10         isl_basic_set *bset;
11         isl_qpolynomial_fold *fold;
12
13         /* output */
14         isl_pw_qpolynomial_fold *pwf;
15         isl_pw_qpolynomial_fold *pwf_tight;
16 };
17
18 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound(
19         __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *tight);
20
21 #endif