reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1494 if (!tab) 1496 r = isl_tab_add_row(tab, eq); 1500 r = tab->con[r].index; 1501 i = last_var_col_or_int_par_col(tab, r); 1503 tab->con[r].is_nonneg = 1; 1504 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1504 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1506 isl_seq_neg(eq, eq, 1 + tab->n_var); 1507 r = isl_tab_add_row(tab, eq); 1510 tab->con[r].is_nonneg = 1; 1511 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1511 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r]) < 0) 1514 if (isl_tab_pivot(tab, r, i) < 0) 1516 if (isl_tab_kill_col(tab, i) < 0) 1518 tab->n_eq++; 1521 return tab; 1523 isl_tab_free(tab);