Lines Matching defs:eqn
883 setup_packing (eqn eqn, int num_vars) in setup_packing() argument
946 eqn eqn = &(pb->eqs[e]); in omega_substitute_red() local
959 eqn eqn = &(pb->geqs[e]); in omega_substitute_red() local
975 eqn eqn = &(pb->subs[e]); in omega_substitute_red() local
1029 eqn eqn = &(pb->subs[pb->num_subs++]); in omega_substitute() local
1065 eqn eqn = &(pb->subs[pb->num_subs++]); in omega_substitute() local
1086 eqn eqn = &(pb->eqs[e]); in omega_substitute() local
1110 eqn eqn = &(pb->geqs[e]); in omega_substitute() local
1135 eqn eqn = &(pb->subs[e]); in omega_substitute() local
1168 eqn eqn = &(pb->subs[pb->num_subs++]); in omega_substitute() local
1730 divide_eqn_by_gcd (eqn eqn, int n_vars) in divide_eqn_by_gcd() argument
1788 eqn eqn = &(pb->eqs[e2]); in cleanout_wildcards() local
1809 eqn eqn = &(pb->geqs[e2]); in cleanout_wildcards() local
1831 eqn eqn = &(pb->subs[e2]); in cleanout_wildcards() local
2991 eqn eqn = &(pb->eqs[e]); in omega_do_elimination() local
3006 eqn eqn = &(pb->geqs[e]); in omega_do_elimination() local
3027 eqn eqn = &(pb->subs[e]); in omega_do_elimination() local
3109 eqn eqn = &(pb->eqs[e]); in omega_solve_eq() local
5289 eqn eqn; in query_coupled_variable() local