Searched refs:single_var_geq (Results 1 – 2 of 2) sorted by relevance
245 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
1370 if (!single_var_geq (&pb->geqs[e], n_vars)) in normalize_omega_problem()1945 if (single_var_geq (&pb->geqs[e], pb->num_vars)) in resurrect_subs()3924 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()3929 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()