Searched refs:omega_problem_has_no_solution (Results 1 – 1 of 1) sorted by relevance
3051 omega_problem_has_no_solution (void) in omega_problem_has_no_solution() function3132 return omega_problem_has_no_solution (); in omega_solve_eq()3144 return omega_problem_has_no_solution (); in omega_solve_eq()3189 return omega_problem_has_no_solution (); in omega_solve_eq()3519 return omega_problem_has_no_solution (); in omega_solve_geq()3556 return omega_problem_has_no_solution (); in omega_solve_geq()