Searched defs:desired_res (Results 1 – 1 of 1) sorted by relevance
116 omega_eqn_is_red (eqn e, int desired_res) in omega_eqn_is_red()3063 omega_solve_eq (omega_pb pb, enum omega_result desired_res) in omega_solve_eq()3429 enum omega_result desired_res) in parallel_splinter()3470 omega_solve_geq (omega_pb pb, enum omega_result desired_res) in omega_solve_geq()4736 omega_solve_problem (omega_pb pb, enum omega_result desired_res) in omega_solve_problem()