Lines Matching defs:e2
1314 int e2 = original_problem->num_eqs++; in adding_equality_constraint() local
1571 int e2; in normalize_omega_problem() local
1771 int e2; in cleanout_wildcards() local
2029 int c, e, e1, e2, e3, p, q, i, k, alpha, alpha1, alpha2, alpha3; in omega_eliminate_redundant() local
2284 int e1, e2, e3, p, q, k, alpha, alpha1, alpha2, alpha3; in smooth_weird_equations() local
2400 int e, e2; in coalesce() local
2454 int e, e2, e3, i, j, k, a, alpha1, alpha2; in omega_eliminate_red() local
2740 int i, e, e2; in omega_free_eliminations() local
2820 int i, e, e2; in free_red_eliminations() local
2983 int e2 = e; in omega_do_elimination() local
3199 int e2; in omega_solve_eq() local
3667 int e2, Le = 0, Ue; in omega_solve_geq() local
3916 int e1, e2; in omega_solve_geq() local
5049 int e2; in omega_unprotect_variable() local