724 					    1 + tab->n_param + tab->n_div);  in sol_add()
733 		int i = tab->n_param + row;  in sol_add()
754 		for (j = 0; j < tab->n_param; ++j) {  in sol_add()
767 			isl_int_mul(mat->row[1 + row][1 + tab->n_param + j], m,  in sol_add()
874 	for (i = 0; i < tab->n_param; ++i) {  in get_row_parameter_line()
884 			isl_int_set_si(line[1 + tab->n_param + i], 0);  in get_row_parameter_line()
887 			isl_int_set(line[1 + tab->n_param + i],  in get_row_parameter_line()
911 	for (i = 0; i < tab->n_param + tab->n_div; ++i) {  in identical_parameter_line()
912 		int pos = i < tab->n_param ? i :  in identical_parameter_line()
913 			tab->n_var - tab->n_div + i - tab->n_param;  in identical_parameter_line()
935 	ineq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_param + tab->n_div);  in get_row_parameter_ineq()
985 	div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div);  in get_row_parameter_div()
1013 	div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div);  in get_row_split_div()
1122 	for (i = 0; i < tab->n_param; ++i) {  in is_obviously_neg()
1171 	for (i = 0; i < tab->n_param; ++i) {  in is_obviously_nonneg()
1221 	for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) {  in lexmin_col_pair()
1266 	if (index < tab->n_param)  in is_parameter_var()
1377 		for (var = tab->n_param; var < tab->n_var - tab->n_div; ++var) {  in check_lexpos()
1497 	for (i = tab->n_var - tab->n_div - 1; i >= 0 && i >= tab->n_param; --i) {  in last_var_col_or_int_par_col()
1728 	for (i = 0; i < tab->n_param; ++i) {  in integer_parameter()
1790 	var = var < 0 ? tab->n_param : var + 1;  in next_non_integer_var()
2257 	for (i = 0; i < tab->n_param; ++i) {  in add_parametric_cut()
2277 		    (tab->col_var[i] < tab->n_param ||  in add_parametric_cut()
2349 		tab->n_param = dom_total - dom->n_div;  in tab_for_lexmin()
2362 	for (i = tab->n_param; i < tab->n_var - tab->n_div; ++i) {  in tab_for_lexmin()
2366 	o_var = 1 + tab->n_param;  in tab_for_lexmin()
2367 	n_var = tab->n_var - tab->n_param - tab->n_div;  in tab_for_lexmin()
2771 			if (i >= tab->n_param)  in tab_detect_nonnegative_parameters()
2772 				j = i - tab->n_param + tab->n_var - tab->n_div;  in tab_detect_nonnegative_parameters()
3327 		if (i >= tab->n_param && i < tab->n_var - tab->n_div)  in last_non_zero_var_col()
3373 	isl_seq_clr(eq->el + 1 + tab->n_param,  in propagate_equalities()
3374 		    tab->n_var - tab->n_param - tab->n_div);  in propagate_equalities()
3381 		isl_seq_cpy(eq->el, cgbr->tab->bmap->ineq[i], 1 + tab->n_param);  in propagate_equalities()
3383 			    cgbr->tab->bmap->ineq[i] + 1 + tab->n_param,  in propagate_equalities()
4286 		if (tab->row_var[row] < tab->n_param)  in find_solutions_main()
4290 				+ tab->n_param - (tab->n_var - tab->n_div);  in find_solutions_main()
4292 		eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div);  in find_solutions_main()