reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
353 nvar = isl_basic_set_dim(bset, isl_dim_set); 360 data->tight = bound_is_integer(upper, nvar); 361 sub = bound2poly(upper, dim, nvar, 1); 365 data->tight = bound_is_integer(lower, nvar); 366 sub = bound2poly(lower, dim, nvar, -1); 370 poly = plug_in_at_pos(poly, nvar, sub, data); 371 poly = isl_qpolynomial_drop_dims(poly, isl_dim_in, nvar, 1); 377 int sign = data->sign * data->signs[nparam + nvar]; 381 u = bound2poly(upper, isl_space_copy(dim), nvar, 1); 382 l = bound2poly(lower, dim, nvar, -1); 387 pos = plug_in_at_pos(pos, nvar, u, data); 388 neg = plug_in_at_pos(neg, nvar, l, data); 391 poly = isl_qpolynomial_drop_dims(poly, isl_dim_in, nvar, 1);