Searched refs:omega_free_eqns (Results 1 – 2 of 2) sorted by relevance
232 omega_free_eqns (eqn eq, int n) in omega_free_eqns() function301 omega_free_eqns (pb->geqs, OMEGA_MAX_GEQS); in omega_free_problem()302 omega_free_eqns (pb->eqs, OMEGA_MAX_EQS); in omega_free_problem()303 omega_free_eqns (pb->subs, OMEGA_MAX_VARS + 1); in omega_free_problem()
1231 omega_free_eqns (eq, 1); in omega_do_mod()3045 omega_free_eqns (sub, 1); in omega_do_elimination()3100 omega_free_eqns (eq, 1); in omega_solve_eq()4305 omega_free_eqns (lbeqn, 1); in omega_solve_geq()