1 #include <isl_bound.h> 2 3 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset, 4 __isl_take isl_qpolynomial *poly, struct isl_bound *bound); 5 __isl_give isl_qpolynomial *isl_qpolynomial_terms_of_sign( 6 __isl_keep isl_qpolynomial *poly, int *signs, int sign); 7