Lines Matching refs:pwf
17 isl_pw_qpolynomial_fold *pwf; member
60 data_m.pwf = isl_pw_qpolynomial_fold_zero(space, type); in has_sign()
68 opt = isl_pw_qpolynomial_fold_min(data_m.pwf); in has_sign()
70 opt = isl_pw_qpolynomial_fold_max(data_m.pwf); in has_sign()
85 isl_pw_qpolynomial_fold_free(data_m.pwf); in has_sign()
274 isl_pw_qpolynomial_fold *pwf; in add_guarded_poly() local
281 pwf = isl_pw_qpolynomial_fold_alloc(type, set, fold); in add_guarded_poly()
284 data->pwf_tight, pwf); in add_guarded_poly()
286 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, pwf); in add_guarded_poly()
548 data.pwf = bound->pwf; in isl_qpolynomial_bound_on_domain_range()
558 bound->pwf = data.pwf; in isl_qpolynomial_bound_on_domain_range()