Searched refs:pwf2 (Results 1 – 5 of 5) sorted by relevance
1278 __isl_take isl_pw_qpolynomial_fold *pwf2) in isl_pw_qpolynomial_fold_add() argument1280 return isl_pw_qpolynomial_fold_union_add_(pwf1, pwf2); in isl_pw_qpolynomial_fold_add()1544 __isl_keep isl_pw_qpolynomial_fold *pwf2) in isl_pw_qpolynomial_fold_covers() argument1550 if (!pwf1 || !pwf2) in isl_pw_qpolynomial_fold_covers()1553 if (pwf2->n == 0) in isl_pw_qpolynomial_fold_covers()1559 dom2 = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf2)); in isl_pw_qpolynomial_fold_covers()1567 for (i = 0; i < pwf2->n; ++i) { in isl_pw_qpolynomial_fold_covers()1574 isl_set_copy(pwf2->p[i].set)); in isl_pw_qpolynomial_fold_covers()1583 pwf1->p[j].fold, pwf2->p[i].fold); in isl_pw_qpolynomial_fold_covers()
231 __isl_keep isl_pw_qpolynomial_fold *pwf2);
4002 isl_pw_qpolynomial_fold *pwf1, *pwf2; in test_bound() local4009 pwf2 = isl_pw_qpolynomial_fold_read_from_str(ctx, str); in test_bound()4010 equal = isl_pw_qpolynomial_fold_plain_is_equal(pwf1, pwf2); in test_bound()4011 isl_pw_qpolynomial_fold_free(pwf2); in test_bound()
376 __isl_keep isl_pw_qpolynomial_fold *pwf2);407 __isl_keep isl_pw_qpolynomial_fold *pwf2);442 __isl_take isl_pw_qpolynomial_fold *pwf2);445 __isl_take isl_pw_qpolynomial_fold *pwf2);448 __isl_take isl_pw_qpolynomial_fold *pwf2);
8827 __isl_take isl_pw_qpolynomial_fold *pwf2);8842 __isl_take isl_pw_qpolynomial_fold *pwf2);