105 	isl_size nvar;  in monotonicity()  local
107 	nvar = isl_basic_set_dim(bset, isl_dim_set);  in monotonicity()
108 	if (nvar < 0)  in monotonicity()
115 						isl_dim_set, nvar - 1);  in monotonicity()
120 			isl_dim_in, nvar - 1, 1, &sub);  in monotonicity()
201 	isl_size nvar;  in collect_fixed_sign_terms()  local
205 	nvar = isl_term_dim(term, isl_dim_set);  in collect_fixed_sign_terms()
206 	if (nparam < 0 || nvar < 0)  in collect_fixed_sign_terms()
223 	for (i = 0; i < nvar; ++i) {  in collect_fixed_sign_terms()
360 	isl_size nvar, nparam;  in propagate_on_bound_pair()  local
362 	nvar = isl_basic_set_dim(bset, isl_dim_set);  in propagate_on_bound_pair()
364 	if (nvar < 0 || nparam < 0)  in propagate_on_bound_pair()
372 				data->tight = bound_is_integer(upper, nvar);  in propagate_on_bound_pair()
373 			sub = bound2poly(upper, space, nvar, 1);  in propagate_on_bound_pair()
377 				data->tight = bound_is_integer(lower, nvar);  in propagate_on_bound_pair()
378 			sub = bound2poly(lower, space, nvar, -1);  in propagate_on_bound_pair()
382 		poly = plug_in_at_pos(poly, nvar, sub, data);  in propagate_on_bound_pair()
383 		poly = isl_qpolynomial_drop_dims(poly, isl_dim_in, nvar, 1);  in propagate_on_bound_pair()
388 		int sign = data->sign * data->signs[nparam + nvar];  in propagate_on_bound_pair()
392 		u = bound2poly(upper, isl_space_copy(space), nvar, 1);  in propagate_on_bound_pair()
393 		l = bound2poly(lower, space, nvar, -1);  in propagate_on_bound_pair()
398 		pos = plug_in_at_pos(pos, nvar, u, data);  in propagate_on_bound_pair()
399 		neg = plug_in_at_pos(neg, nvar, l, data);  in propagate_on_bound_pair()
402 		poly = isl_qpolynomial_drop_dims(poly, isl_dim_in, nvar, 1);  in propagate_on_bound_pair()
405 	if (nvar == 0)  in propagate_on_bound_pair()
513 	isl_size nvar = isl_basic_set_dim(bset, isl_dim_set);  in qpolynomial_bound_on_domain_range()  local
516 	if (nparam < 0 || nvar < 0)  in qpolynomial_bound_on_domain_range()
519 	if (nvar == 0)  in qpolynomial_bound_on_domain_range()
524 	set = isl_set_split_dims(set, isl_dim_set, 0, nvar);  in qpolynomial_bound_on_domain_range()