Searched refs:omega_true (Results 1 – 6 of 6) sorted by relevance
43 omega_true = 1, enumerator
2288 return omega_true; in omega_eliminate_redundant()3476 return omega_true; in parallel_splinter()3635 return omega_true; in omega_solve_geq()3717 return omega_true; in omega_solve_geq()3733 return omega_true; in omega_solve_geq()3918 return omega_true; in omega_solve_geq()4278 return omega_true; in omega_solve_geq()4546 if (desired_res != omega_true) in omega_solve_geq()4696 if (result == omega_true) in omega_solve_geq()4702 return omega_true; in omega_solve_geq()[all …]
2271 return omega_true; in omega_eliminate_redundant()3456 return omega_true; in parallel_splinter()3615 return omega_true; in omega_solve_geq()3697 return omega_true; in omega_solve_geq()3713 return omega_true; in omega_solve_geq()3898 return omega_true; in omega_solve_geq()4258 return omega_true; in omega_solve_geq()4526 if (desired_res != omega_true) in omega_solve_geq()4676 if (result == omega_true) in omega_solve_geq()4682 return omega_true; in omega_solve_geq()[all …]