Home
last modified time | relevance | path

Searched refs:single_var_geq (Results 1 – 6 of 6) sorted by relevance

/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/
H A Domega.h247 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
H A Domega.c1386 if (!single_var_geq (&pb->geqs[e], n_vars)) in normalize_omega_problem()
1961 if (single_var_geq (&pb->geqs[e], pb->num_vars)) in resurrect_subs()
3943 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()
3948 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()
/dports/lang/gcc48/gcc-4.8.5/gcc/
H A Domega.h245 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
H A Domega.c1369 if (!single_var_geq (&pb->geqs[e], n_vars)) in normalize_omega_problem()
1944 if (single_var_geq (&pb->geqs[e], pb->num_vars)) in resurrect_subs()
3923 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()
3928 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/
H A Domega.h245 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
H A Domega.c1369 if (!single_var_geq (&pb->geqs[e], n_vars)) in normalize_omega_problem()
1944 if (single_var_geq (&pb->geqs[e], pb->num_vars)) in resurrect_subs()
3923 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()
3928 * (3 - single_var_geq (&pb->geqs[e1], pb->num_vars)) in omega_solve_geq()