Searched refs:eliminate_again (Results 1 – 1 of 1) sorted by relevance
3477 bool eliminate_again; in omega_solve_geq() local3676 eliminate_again = false; in omega_solve_geq()3863 eliminate_again = true; in omega_solve_geq()3890 eliminate_again = true; in omega_solve_geq()4263 eliminate_again = true; in omega_solve_geq()4286 eliminate_again = false; in omega_solve_geq()4352 eliminate_again = false; in omega_solve_geq()4724 } while (eliminate_again); in omega_solve_geq()