Searched refs:normalize_omega_problem (Results 1 – 1 of 1) sorted by relevance
1359 normalize_omega_problem (omega_pb pb) in normalize_omega_problem() function1856 normalize_omega_problem (pb); in cleanout_wildcards()3634 switch (normalize_omega_problem (pb)) in omega_solve_geq()4912 r = normalize_omega_problem (pb); in omega_problem_has_red_equations()