reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
118 for (i = 0; i < n_bounded; ++i) { 118 for (i = 0; i < n_bounded; ++i) { 118 for (i = 0; i < n_bounded; ++i) { 119 GBR_init(F[i]); 120 GBR_init(alpha_buffer[0][i]); 121 GBR_init(alpha_buffer[1][i]); 131 i = tab->n_zero; 133 GBR_lp_set_obj(lp, B->row[1+i]+1, dim); 137 GBR_lp_get_obj_val(lp, &F[i]); 139 if (GBR_lt(F[i], one)) { 140 if (!GBR_is_zero(F[i])) { 141 empty = GBR_lp_cut(lp, B->row[1+i]+1); 144 GBR_set_ui(F[i], 0); 150 if (i+1 == tab->n_zero) { 151 GBR_lp_set_obj(lp, B->row[1+i+1]+1, dim); 163 GBR_set(alpha, alpha_saved[i]); 165 row = GBR_lp_add_row(lp, B->row[1+i]+1, dim); 166 GBR_lp_set_obj(lp, B->row[1+i+1]+1, dim); 175 if (i > 0) 176 save_alpha(lp, row-i, i, alpha_saved); 176 save_alpha(lp, row-i, i, alpha_saved); 181 GBR_set(F[i+1], F_new); 194 ctx->one, B->row[1+i+1]+1, 195 tmp, B->row[1+i]+1, dim); 202 if (i > 0) 203 save_alpha(lp, row-i, i, alpha_buffer[j]); 203 save_alpha(lp, row-i, i, alpha_buffer[j]); 216 isl_seq_combine(B->row[1+i+1]+1, ctx->one, B->row[1+i+1]+1, 216 isl_seq_combine(B->row[1+i+1]+1, ctx->one, B->row[1+i+1]+1, 217 tmp, B->row[1+i]+1, dim); 219 if (i+1 == tab->n_zero && fixed) { 220 if (!GBR_is_zero(F[i+1])) { 221 empty = GBR_lp_cut(lp, B->row[1+i+1]+1); 224 GBR_set_ui(F[i+1], 0); 229 GBR_set(F_old, F[i]); 238 B = isl_mat_swap_rows(B, 1 + i, 1 + i + 1); 238 B = isl_mat_swap_rows(B, 1 + i, 1 + i + 1); 239 if (i > tab->n_zero) { 245 --i; 262 GBR_lp_add_row(lp, B->row[1+i]+1, dim); 263 ++i; 265 } while (i < n_bounded - 1); 279 for (i = 0; i < n_bounded; ++i) { 279 for (i = 0; i < n_bounded; ++i) { 279 for (i = 0; i < n_bounded; ++i) { 280 GBR_clear(F[i]); 281 GBR_clear(alpha_buffer[0][i]); 282 GBR_clear(alpha_buffer[1][i]);