reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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]) && 3999 isl_int_abs_ge(tab->mat->row[row][1], 4000 tab->mat->row[row][0]))) { 4007 type = separation_type(tab, row);