Searched refs:omega_false (Results 1 – 9 of 9) sorted by relevance
2195 return omega_false; in omega_eliminate_redundant()2252 if (omega_solve_problem (tmp_problem, omega_false) == omega_false) in omega_eliminate_redundant()2615 if (omega_solve_problem (tmp_problem, omega_false) == omega_false) in omega_eliminate_red()3055 return omega_false; in omega_problem_has_no_solution()3463 return omega_false; in parallel_splinter()3600 return omega_false; in omega_solve_geq()3636 return omega_false; in omega_solve_geq()3719 return omega_false; in omega_solve_geq()3733 return omega_false; in omega_solve_geq()4182 return omega_false; in omega_solve_geq()[all …]
42 omega_false = 0, enumerator
3697 if (res == omega_false in omega_extract_distance_vectors()3725 if (res == omega_false in omega_extract_distance_vectors()
2212 return omega_false; in omega_eliminate_redundant()2269 if (omega_solve_problem (tmp_problem, omega_false) == omega_false) in omega_eliminate_redundant()2635 if (omega_solve_problem (tmp_problem, omega_false) == omega_false) in omega_eliminate_red()3075 return omega_false; in omega_problem_has_no_solution()3483 return omega_false; in parallel_splinter()3620 return omega_false; in omega_solve_geq()3656 return omega_false; in omega_solve_geq()3739 return omega_false; in omega_solve_geq()3753 return omega_false; in omega_solve_geq()4202 return omega_false; in omega_solve_geq()[all …]
3757 if (res == omega_false in omega_extract_distance_vectors()3785 if (res == omega_false in omega_extract_distance_vectors()
3677 if (res == omega_false in omega_extract_distance_vectors()3705 if (res == omega_false in omega_extract_distance_vectors()