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 D | omega.h | 247 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
|
H A D | omega.c | 1386 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 D | omega.h | 245 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
|
H A D | omega.c | 1369 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 D | omega.h | 245 single_var_geq (eqn e, int nv ATTRIBUTE_UNUSED) in single_var_geq() function
|
H A D | omega.c | 1369 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()
|