reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4228 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div); 4229 if (!eq) 4231 get_row_parameter_line(tab, row, eq->el); 4232 isl_int_neg(eq->el[1 + p], tab->mat->row[row][0]); 4233 eq = isl_vec_normalize(eq); 4233 eq = isl_vec_normalize(eq); 4236 no_sol_in_strict(sol, tab, eq); 4238 isl_seq_neg(eq->el, eq->el, eq->size); 4238 isl_seq_neg(eq->el, eq->el, eq->size); 4238 isl_seq_neg(eq->el, eq->el, eq->size); 4240 no_sol_in_strict(sol, tab, eq); 4241 isl_seq_neg(eq->el, eq->el, eq->size); 4241 isl_seq_neg(eq->el, eq->el, eq->size); 4241 isl_seq_neg(eq->el, eq->el, eq->size); 4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1); 4245 isl_vec_free(eq);