Searched refs: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() argument118 return (desired_res == omega_simplify && e->color == omega_red); in omega_eqn_is_red()3063 omega_solve_eq (omega_pb pb, enum omega_result desired_res) in omega_solve_eq() argument3073 desired_res, may_be_red); in omega_solve_eq()3165 && !omega_eqn_is_red (eqn, desired_res) in omega_solve_eq()3429 enum omega_result desired_res) in parallel_splinter() argument3454 if (omega_solve_problem (tmp_problem, desired_res) == omega_true) in parallel_splinter()3470 omega_solve_geq (omega_pb pb, enum omega_result desired_res) in omega_solve_geq() argument3480 if (desired_res != omega_simplify) in omega_solve_geq()3488 gcc_assert (desired_res == omega_simplify || pb->num_subs == 0); in omega_solve_geq()[all …]