blob: 13a5813a77e3047e114f67156f91a371c04ee574 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#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
|
