Searched refs:n_vars (Results 1 – 1 of 1) sorted by relevance
782 omega_delete_geq (omega_pb pb, int e, int n_vars) in omega_delete_geq() argument792 omega_copy_eqn (&pb->geqs[e], &pb->geqs[pb->num_geqs - 1], n_vars); in omega_delete_geq()801 omega_delete_geq_extra (omega_pb pb, int e, int n_vars) in omega_delete_geq_extra() argument811 omega_copy_eqn (&pb->geqs[e], &pb->geqs[pb->num_geqs - 1], n_vars); in omega_delete_geq_extra()822 int n_vars = pb->num_vars; in omega_delete_variable() local833 pb->geqs[e].coef[j] = pb->geqs[e].coef[n_vars]; in omega_delete_variable()839 pb->eqs[e].coef[j] = pb->eqs[e].coef[n_vars]; in omega_delete_variable()845 pb->subs[e].coef[j] = pb->subs[e].coef[n_vars]; in omega_delete_variable()849 pb->var[j] = pb->var[n_vars]; in omega_delete_variable()851 else if (i < n_vars) in omega_delete_variable()[all …]