reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4059 if (!tab || sol->error) 4064 if (tab->empty) 4069 for (r = 0; r >= 0 && tab && !tab->empty; r = restore_lexmin(tab)) { 4069 for (r = 0; r >= 0 && tab && !tab->empty; r = restore_lexmin(tab)) { 4069 for (r = 0; r >= 0 && tab && !tab->empty; r = restore_lexmin(tab)) { 4076 for (row = tab->n_redundant; row < tab->n_row; ++row) { 4076 for (row = tab->n_redundant; row < tab->n_row; ++row) { 4077 if (!isl_tab_var_from_row(tab, row)->is_nonneg) 4079 sgn = row_sign(tab, sol, row); 4082 tab->row_sign[row] = sgn; 4090 if (row < tab->n_row) 4095 split = context->op->best_split(context, tab); 4098 ineq = get_row_parameter_ineq(tab, split); 4102 reset_any_to_unknown(tab); 4103 tab->row_sign[split] = isl_tab_row_pos; 4105 find_in_pos(sol, tab, ineq->el); 4106 tab->row_sign[split] = isl_tab_row_neg; 4116 if (tab->rational) 4118 row = first_non_integer_row(tab, &flags); 4123 if (isl_tab_mark_empty(tab) < 0) 4127 row = add_cut(tab, row); 4132 div = get_row_split_div(tab, row); 4135 d = context->op->get_div(context, tab, div); 4143 no_sol_in_strict(sol, tab, ineq); 4149 tab = set_row_cst_to_div(tab, row, d); 4149 tab = set_row_cst_to_div(tab, row, d); 4153 row = add_parametric_cut(tab, row, context); 4160 sol_add(sol, tab); 4161 isl_tab_free(tab); 4164 isl_tab_free(tab);