Lines Matching defs:sub
101 isl_qpolynomial *sub = NULL;
114 sub = isl_qpolynomial_var_on_domain(isl_space_copy(space),
116 sub = isl_qpolynomial_add(sub,
120 isl_dim_in, nvar - 1, 1, &sub);
137 isl_qpolynomial_free(sub);
142 isl_qpolynomial_free(sub);
291 /* Plug in "sub" for the variable at position "pos" in "poly".
293 * If "sub" is an infinite polynomial and if the variable actually
302 __isl_take isl_qpolynomial *sub, struct range_data *data)
310 isl_qpolynomial_free(sub);
314 infty = isl_qpolynomial_is_infty(sub);
316 infty = isl_qpolynomial_is_neginfty(sub);
323 isl_qpolynomial_free(sub);
327 poly = isl_qpolynomial_substitute(poly, isl_dim_in, pos, 1, &sub);
328 isl_qpolynomial_free(sub);
333 isl_qpolynomial_free(sub);
368 isl_qpolynomial *sub;
373 sub = bound2poly(upper, space, nvar, 1);
378 sub = bound2poly(lower, space, nvar, -1);
382 poly = plug_in_at_pos(poly, nvar, sub, data);