Lines Matching refs:n_zero
90 if (n_bounded <= tab->n_zero + 1) in isl_tab_compute_reduced_basis()
131 i = tab->n_zero; in isl_tab_compute_reduced_basis()
146 tab->n_zero++; in isl_tab_compute_reduced_basis()
150 if (i+1 == tab->n_zero) { in isl_tab_compute_reduced_basis()
218 if (i+1 == tab->n_zero && fixed) { in isl_tab_compute_reduced_basis()
225 tab->n_zero++; in isl_tab_compute_reduced_basis()
238 if (i > tab->n_zero) { in isl_tab_compute_reduced_basis()
246 GBR_set(F[tab->n_zero], F_new); in isl_tab_compute_reduced_basis()
247 if (gbr_only_first && GBR_lt(F[tab->n_zero], two)) in isl_tab_compute_reduced_basis()
251 if (!GBR_is_zero(F[tab->n_zero])) { in isl_tab_compute_reduced_basis()
252 empty = GBR_lp_cut(lp, B->row[1+tab->n_zero]+1); in isl_tab_compute_reduced_basis()
255 GBR_set_ui(F[tab->n_zero], 0); in isl_tab_compute_reduced_basis()
257 tab->n_zero++; in isl_tab_compute_reduced_basis()
340 tab->n_zero = bset->n_eq; in isl_basic_set_reduced_basis()