Searched refs:tried_eliminating_redundant (Results 1 – 1 of 1) sorted by relevance
3478 bool tried_eliminating_redundant = false; in omega_solve_geq() local3886 if (!exact && !tried_eliminating_redundant) in omega_solve_geq()3889 tried_eliminating_redundant = true; in omega_solve_geq()3893 tried_eliminating_redundant = false; in omega_solve_geq()3905 if (!exact && !tried_eliminating_redundant) in omega_solve_geq()3908 tried_eliminating_redundant = true; in omega_solve_geq()3911 tried_eliminating_redundant = false; in omega_solve_geq()