reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3982 if (!tab) 3985 if (isl_tab_extend_cons(tab, 1) < 0) 3988 snap = isl_tab_snap(tab); 3990 con = isl_tab_add_row(tab, ineq); 3994 row = tab->con[con].index; 3995 if (isl_tab_row_is_redundant(tab, row)) 3997 else if (isl_int_is_neg(tab->mat->row[row][1]) && 3998 (tab->rational || 3999 isl_int_abs_ge(tab->mat->row[row][1], 4000 tab->mat->row[row][0]))) { 4001 int nonneg = at_least_zero(tab, &tab->con[con]); 4001 int nonneg = at_least_zero(tab, &tab->con[con]); 4007 type = separation_type(tab, row); 4009 int red = con_is_redundant(tab, &tab->con[con]); 4009 int red = con_is_redundant(tab, &tab->con[con]); 4018 if (isl_tab_rollback(tab, snap))