reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2966 if (!tab) 2968 if (tab->empty) 2970 if (tab->n_dead == tab->n_col) 2970 if (tab->n_dead == tab->n_col) 2974 for (i = tab->n_redundant; i < tab->n_row; ++i) { 2974 for (i = tab->n_redundant; i < tab->n_row; ++i) { 2975 struct isl_tab_var *var = isl_tab_var_from_row(tab, i); 2977 may_be_equality(tab, i); 2981 for (i = tab->n_dead; i < tab->n_col; ++i) { 2981 for (i = tab->n_dead; i < tab->n_col; ++i) { 2982 struct isl_tab_var *var = var_from_col(tab, i); 2990 var = select_marked(tab); 2995 sgn = sign_of_max(tab, var); 2999 if (close_row(tab, var, 0) < 0) 3001 } else if (!tab->rational && !at_least_one(tab, var)) { 3001 } else if (!tab->rational && !at_least_one(tab, var)) { 3002 if (cut_to_hyperplane(tab, var) < 0) 3004 return isl_tab_detect_implicit_equalities(tab); 3006 for (i = tab->n_redundant; i < tab->n_row; ++i) { 3006 for (i = tab->n_redundant; i < tab->n_row; ++i) { 3007 var = isl_tab_var_from_row(tab, i); 3010 if (may_be_equality(tab, i))