782 omega_delete_geq (omega_pb pb, int e, int n_vars)  in omega_delete_geq()
801 omega_delete_geq_extra (omega_pb pb, int e, int n_vars)  in omega_delete_geq_extra()
822   int n_vars = pb->num_vars;  in omega_delete_variable()  local
1361   int e, i, j, k, n_vars;  in normalize_omega_problem()  local
1730 divide_eqn_by_gcd (eqn eqn, int n_vars)  in divide_eqn_by_gcd()
1749   int n_vars = pb->num_vars;  in cleanout_wildcards()  local
2741   int n_vars = pb->num_vars;  in omega_free_eliminations()  local
2821   int n_vars = pb->num_vars;  in free_red_eliminations()  local
2954   int n_vars = pb->num_vars;  in omega_do_elimination()  local
3473   int n_vars, fv;  in omega_solve_geq()  local
5130   int n_vars = pb->num_vars;  in omega_constrain_variable_sign()  local
5215   int n_vars = pb->num_vars;  in omega_query_variable()  local