reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
348 int save_tight = data->tight; 355 if (data->monotonicity) { 357 isl_space *dim = isl_qpolynomial_get_domain_space(data->poly); 358 if (data->monotonicity * data->sign > 0) { 358 if (data->monotonicity * data->sign > 0) { 359 if (data->tight) 360 data->tight = bound_is_integer(upper, nvar); 364 if (data->tight) 365 data->tight = bound_is_integer(lower, nvar); 369 poly = isl_qpolynomial_copy(data->poly); 370 poly = plug_in_at_pos(poly, nvar, sub, data); 375 isl_space *dim = isl_qpolynomial_get_domain_space(data->poly); 377 int sign = data->sign * data->signs[nparam + nvar]; 377 int sign = data->sign * data->signs[nparam + nvar]; 379 data->tight = 0; 384 pos = isl_qpolynomial_terms_of_sign(data->poly, data->signs, sign); 384 pos = isl_qpolynomial_terms_of_sign(data->poly, data->signs, sign); 385 neg = isl_qpolynomial_terms_of_sign(data->poly, data->signs, -sign); 385 neg = isl_qpolynomial_terms_of_sign(data->poly, data->signs, -sign); 387 pos = plug_in_at_pos(pos, nvar, u, data); 388 neg = plug_in_at_pos(neg, nvar, l, data); 395 r = add_guarded_poly(bset, poly, data); 397 r = propagate_on_domain(bset, poly, data); 399 data->tight = save_tight;