Home
last modified time | relevance | path

Searched refs:omega_init_eqn_zero (Results 1 – 2 of 2) sorted by relevance

/dragonfly/contrib/gcc-4.7/gcc/
HDomega.h203 omega_init_eqn_zero (eqn e, int s) in omega_init_eqn_zero() function
223 omega_init_eqn_zero (&res[i], s); in omega_alloc_eqns()
260 omega_init_eqn_zero (&pb->eqs[idx], pb->num_vars); in omega_add_zero_eq()
275 omega_init_eqn_zero (&pb->geqs[idx], pb->num_vars); in omega_add_zero_geq()
HDomega.c1319 omega_init_eqn_zero (&original_problem->eqs[e2], in adding_equality_constraint()
1528 omega_init_eqn_zero (proto, pb->num_vars); in normalize_omega_problem()
3310 omega_init_eqn_zero (&pb->eqs[e + 1], pb->num_vars); in omega_solve_eq()
4247 omega_init_eqn_zero (&original_problem->eqs[e], in omega_solve_geq()
4656 omega_init_eqn_zero (&pb->geqs[e], pb->num_vars); in omega_solve_geq()
5161 omega_init_eqn_zero (&pb->geqs[e], pb->num_vars); in omega_constrain_variable_sign()
5171 omega_init_eqn_zero (&pb->eqs[e], pb->num_vars); in omega_constrain_variable_sign()
5200 omega_init_eqn_zero (&pb->eqs[e], pb->num_vars); in omega_constrain_variable_value()