Lines Matching defs:poly
16 isl_qpolynomial *poly; member
30 __isl_keep isl_qpolynomial *poly, int sign, int *signs) in has_sign()
97 __isl_keep isl_qpolynomial *poly, struct range_data *data) in monotonicity()
186 isl_qpolynomial *poly; member
248 __isl_keep isl_qpolynomial *poly, int *signs, int sign) in isl_qpolynomial_terms_of_sign()
269 __isl_take isl_qpolynomial *poly, struct range_data *data) in add_guarded_poly()
301 __isl_take isl_qpolynomial *poly, int pos, in plug_in_at_pos()
358 isl_qpolynomial *poly; in propagate_on_bound_pair() local
424 __isl_take isl_qpolynomial *poly, struct range_data *data) in propagate_on_domain()
509 __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, in qpolynomial_bound_on_domain_range()
543 __isl_take isl_qpolynomial *poly, struct isl_bound *bound) in isl_qpolynomial_bound_on_domain_range()