Searched refs:tmp_problem (Results 1 – 1 of 1) sorted by relevance
1260 tmp_problem->num_subs = 0; in verify_omega_pb()1290 free (tmp_problem); in verify_omega_pb()2031 omega_pb tmp_problem; in omega_eliminate_redundant() local2257 free (tmp_problem); in omega_eliminate_redundant()2459 omega_pb tmp_problem; in omega_eliminate_red() local2612 tmp_problem->safe_vars = 0; in omega_eliminate_red()2614 tmp_problem->num_subs = 0; in omega_eliminate_red()2637 free (tmp_problem); in omega_eliminate_red()3431 omega_pb tmp_problem; in parallel_splinter() local3456 free (tmp_problem); in parallel_splinter()[all …]