add isl_union_map_contains
[isl.git] / isl_bound.h
blobb3a40db396e9c0333f38be848e0564ac16874a8d
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 int wrapping;
10 enum isl_fold type;
11 isl_dim *dim;
12 isl_basic_set *bset;
13 isl_qpolynomial_fold *fold;
15 /* output */
16 isl_pw_qpolynomial_fold *pwf;
17 isl_pw_qpolynomial_fold *pwf_tight;
20 #endif