reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1300 if (tab->M) 1301 for (row = tab->n_redundant; row < tab->n_row; ++row) { 1301 for (row = tab->n_redundant; row < tab->n_row; ++row) { 1302 if (!isl_tab_var_from_row(tab, row)->is_nonneg) 1304 if (!isl_int_is_neg(tab->mat->row[row][2])) 1306 if (tab->row_sign) 1307 tab->row_sign[row] = isl_tab_row_neg; 1310 for (row = tab->n_redundant; row < tab->n_row; ++row) { 1310 for (row = tab->n_redundant; row < tab->n_row; ++row) { 1311 if (!isl_tab_var_from_row(tab, row)->is_nonneg) 1313 if (tab->row_sign) { 1314 if (tab->row_sign[row] == 0 && 1315 is_obviously_neg(tab, row)) 1316 tab->row_sign[row] = isl_tab_row_neg; 1317 if (tab->row_sign[row] != isl_tab_row_neg) 1319 } else if (!is_obviously_neg(tab, row))