Lines Matching defs:k
885 int k; in setup_packing() local
909 int j, k = eq->coef[var]; in omega_substitute_red_1() local
1028 int k; in omega_substitute() local
1064 int k; in omega_substitute() local
1087 int k = eqn->coef[var]; in omega_substitute() local
1111 int k = eqn->coef[var]; in omega_substitute() local
1136 int k = eqn->coef[var]; in omega_substitute() local
1167 int k; in omega_substitute() local
1185 int k, i; in omega_do_mod() local
1361 int e, i, j, k, n_vars; in normalize_omega_problem() local
1789 int var, k; in cleanout_wildcards() local
1810 int var, k; in cleanout_wildcards() local
1832 int var, k; 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
2454 int e, e2, e3, i, j, k, a, alpha1, alpha2; in omega_eliminate_red() local
2992 int j, k; in omega_do_elimination() local
3007 int j, k; in omega_do_elimination() local
3028 int j, k; in omega_do_elimination() local
3161 int k = j; in omega_solve_eq() local
4283 int k; in omega_solve_geq() local
4329 int k; in omega_solve_geq() local
4445 int k; in omega_solve_geq() local
4598 int k, smallest = j; in omega_solve_geq() local
5132 int k = pb->forwarding_address[var]; in omega_constrain_variable_sign() local
5187 int k = pb->forwarding_address[var]; in omega_constrain_variable_value() local