reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4211 if (!tab) 4216 for (row = tab->n_redundant; row < tab->n_row; ++row) { 4216 for (row = tab->n_redundant; row < tab->n_row; ++row) { 4220 if (!row_is_parameter_var(tab, row)) 4222 if (tab->row_var[row] < tab->n_param) 4222 if (tab->row_var[row] < tab->n_param) 4223 p = tab->row_var[row]; 4225 p = tab->row_var[row] 4226 + tab->n_param - (tab->n_var - tab->n_div); 4226 + tab->n_param - (tab->n_var - tab->n_div); 4226 + tab->n_param - (tab->n_var - tab->n_div); 4228 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div); 4228 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div); 4228 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div); 4231 get_row_parameter_line(tab, row, eq->el); 4232 isl_int_neg(eq->el[1 + p], tab->mat->row[row][0]); 4236 no_sol_in_strict(sol, tab, eq); 4240 no_sol_in_strict(sol, tab, eq); 4247 if (isl_tab_mark_redundant(tab, row) < 0) 4253 row = tab->n_redundant - 1; 4258 find_solutions(sol, tab); 4270 isl_tab_free(tab);