Searched refs:omega_reduce_with_subs (Results 1 – 1 of 1) sorted by relevance
44 static bool omega_reduce_with_subs = true; variable2260 if (!omega_reduce_with_subs) in omega_eliminate_redundant()2585 if (!omega_reduce_with_subs) in omega_eliminate_red()2640 if (!omega_reduce_with_subs) in omega_eliminate_red()2705 if (omega_reduce_with_subs in omega_problem_reduced()4775 if (!omega_reduce_with_subs) in omega_solve_problem()4868 if (!omega_reduce_with_subs) in omega_problem_has_red_equations()4907 if (!omega_reduce_with_subs) in omega_problem_has_red_equations()4938 if (!omega_reduce_with_subs) in omega_simplify_approximate()5018 if (!omega_reduce_with_subs) in omega_simplify_problem()