Searched refs:variables_freed (Results 1 – 2 of 2) sorted by relevance
96 bool variables_freed; member317 p1->variables_freed = p2->variables_freed; in omega_copy_problem()
2251 tmp_problem->variables_freed = false; in omega_eliminate_redundant()2613 tmp_problem->variables_freed = false; in omega_eliminate_red()3619 if (!pb->variables_freed) in omega_solve_geq()3621 pb->variables_freed = true; in omega_solve_geq()5457 pb->variables_freed = false; in omega_alloc_problem()