Searched refs:normalize_false (Results 1 – 1 of 1) sorted by relevance
1349 normalize_false, enumerator1393 return normalize_false; in normalize_omega_problem()1590 return normalize_false; in normalize_omega_problem()1621 return normalize_false; in normalize_omega_problem()3636 case normalize_false: in omega_solve_geq()4913 gcc_assert (r != normalize_false); in omega_problem_has_red_equations()