Searched refs:variables_initialized (Results 1 – 2 of 2) sorted by relevance
95 bool variables_initialized; member291 pb->variables_initialized = true; in omega_initialize_variables()316 p1->variables_initialized = p2->variables_initialized; in omega_copy_problem()
328 if (!pb->variables_initialized) in omega_print_problem()409 if (!pb->variables_initialized) in omega_print_red_equations()468 if (!pb->variables_initialized) in omega_pretty_print_problem()4505 iS->variables_initialized = rS->variables_initialized = true; in omega_solve_geq()4960 if (!pb->variables_initialized) in omega_simplify_problem()5456 pb->variables_initialized = false; in omega_alloc_problem()