Searched refs:geqs (Results 1 – 5 of 5) sorted by relevance
832 pb->geqs[e].coef[i] = pb->geqs[e].coef[j]; in omega_delete_variable()833 pb->geqs[e].coef[j] = pb->geqs[e].coef[n_vars]; in omega_delete_variable()1469 pb->geqs[e].coef[i] = pb->geqs[e].coef[i] / g; in normalize_omega_problem()1694 pb->geqs[e2].color = pb->geqs[e].color; in normalize_omega_problem()2422 && pb->geqs[e].key == -pb->geqs[e2].key in coalesce()3796 && pb->geqs[lb].key == -pb->geqs[ub].key) in omega_solve_geq()3922 && pb->geqs[e1].key == -pb->geqs[e2].key in omega_solve_geq()3989 pb->geqs[e].coef[i] = pb->geqs[e].coef[j]; in omega_solve_geq()4088 && pb->geqs[Le].key != -pb->geqs[Ue].key) in omega_solve_geq()4327 if (pb->geqs[Le].key != -pb->geqs[Ue].key) in omega_solve_geq()[all …]
108 eqn geqs; member275 omega_init_eqn_zero (&pb->geqs[idx], pb->num_vars); in omega_add_zero_geq()276 pb->geqs[idx].touched = 1; in omega_add_zero_geq()277 pb->geqs[idx].color = color; in omega_add_zero_geq()301 omega_free_eqns (pb->geqs, OMEGA_MAX_GEQS); in omega_free_problem()327 omega_copy_eqn (&(p1->geqs[e]), &(p2->geqs[e]), p2->num_vars); in omega_copy_problem()
3731 copy->geqs[geq].coef[i + 1] = 1; in omega_extract_distance_vectors()3908 pb->geqs[ineq].coef[i + 1] = 1; in init_omega_for_ddr_1()3914 pb->geqs[ineq].coef[i + nb_loops + 1] = -1; in init_omega_for_ddr_1()3915 pb->geqs[ineq].coef[0] = nbi; in init_omega_for_ddr_1()3919 pb->geqs[ineq].coef[i + nb_loops + 1] = -1; in init_omega_for_ddr_1()3920 pb->geqs[ineq].coef[i + 1] = -1; in init_omega_for_ddr_1()3921 pb->geqs[ineq].coef[0] = nbi; in init_omega_for_ddr_1()3926 pb->geqs[ineq].coef[i + 1] = 1; in init_omega_for_ddr_1()3927 pb->geqs[ineq].coef[0] = nbi; in init_omega_for_ddr_1()3930 pb->geqs[ineq].coef[i + 1] = -1; in init_omega_for_ddr_1()[all …]
499 "omega-max-geqs",
8810 @item omega-max-geqs