Searched refs:lbeqn (Results 1 – 1 of 1) sorted by relevance
4267 eqn lbeqn = omega_alloc_eqns (0, 1); in omega_solve_geq() local4273 omega_copy_eqn (lbeqn, &pb->geqs[Le], (n_vars + 1)); in omega_solve_geq()4279 if (lbeqn->key == -pb->geqs[Ue].key) in omega_solve_geq()4288 if (lbeqn->color == omega_red) in omega_solve_geq()4294 mul_hwi (lbeqn->coef[k], Uc); in omega_solve_geq()4305 omega_free_eqns (lbeqn, 1); in omega_solve_geq()