Searched refs:omega_eliminate_red (Results 1 – 2 of 2) sorted by relevance
136 extern void omega_eliminate_red (omega_pb, bool);
2452 omega_eliminate_red (omega_pb pb, bool eliminate_all) in omega_eliminate_red() function4885 omega_eliminate_red (pb, true); in omega_problem_has_red_equations()