mirror of
https://review.haiku-os.org/buildtools
synced 2024-11-23 15:29:11 +01:00
30 lines
677 B
C
30 lines
677 B
C
#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
|