Searched refs:mu_F (Results 1 – 1 of 1) sorted by relevance
66 GBR_type mu_F[2]; in isl_tab_compute_reduced_basis() local101 GBR_init(mu_F[0]); in isl_tab_compute_reduced_basis()102 GBR_init(mu_F[1]); in isl_tab_compute_reduced_basis()200 GBR_lp_get_obj_val(lp, &mu_F[j]); in isl_tab_compute_reduced_basis()206 if (GBR_lt(mu_F[0], mu_F[1])) in isl_tab_compute_reduced_basis()212 GBR_set(F_new, mu_F[j]); in isl_tab_compute_reduced_basis()233 GBR_set_ui(mu_F[0], 4); in isl_tab_compute_reduced_basis()234 GBR_mul(mu_F[0], mu_F[0], F_new); in isl_tab_compute_reduced_basis()235 GBR_set_ui(mu_F[1], 3); in isl_tab_compute_reduced_basis()236 GBR_mul(mu_F[1], mu_F[1], F_old); in isl_tab_compute_reduced_basis()[all …]