Searched refs:n_bounded (Results 1 – 1 of 1) sorted by relevance
73 int n_bounded; in isl_tab_compute_reduced_basis() local89 n_bounded = dim - tab->n_unbounded; in isl_tab_compute_reduced_basis()90 if (n_bounded <= tab->n_zero + 1) in isl_tab_compute_reduced_basis()110 F = isl_alloc_array(ctx, GBR_type, n_bounded); in isl_tab_compute_reduced_basis()111 alpha_buffer[0] = isl_alloc_array(ctx, GBR_type, n_bounded); in isl_tab_compute_reduced_basis()112 alpha_buffer[1] = isl_alloc_array(ctx, GBR_type, n_bounded); in isl_tab_compute_reduced_basis()118 for (i = 0; i < n_bounded; ++i) { in isl_tab_compute_reduced_basis()265 } while (i < n_bounded - 1); in isl_tab_compute_reduced_basis()279 for (i = 0; i < n_bounded; ++i) { in isl_tab_compute_reduced_basis()