reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
424 level = 0; 428 while (level >= 0) { 432 res = compute_min(ctx, tab, min, level); 441 res = compute_max(ctx, tab, max, level); 450 choice = isl_int_lt(min->el[level], max->el[level]); 450 choice = isl_int_lt(min->el[level], max->el[level]); 453 g = greedy_search(ctx, tab, min, max, level); 464 tab->n_zero = level; 476 snap[level] = isl_tab_snap(tab); 478 isl_int_add_ui(min->el[level], min->el[level], 1); 478 isl_int_add_ui(min->el[level], min->el[level], 1); 480 if (isl_int_gt(min->el[level], max->el[level])) { 480 if (isl_int_gt(min->el[level], max->el[level])) { 481 level--; 483 if (level >= 0) 484 if (isl_tab_rollback(tab, snap[level]) < 0) 488 isl_int_neg(tab->basis->row[1 + level][0], min->el[level]); 488 isl_int_neg(tab->basis->row[1 + level][0], min->el[level]); 489 if (isl_tab_add_valid_eq(tab, tab->basis->row[1 + level]) < 0) 491 isl_int_set_si(tab->basis->row[1 + level][0], 0); 492 if (level + tab->n_unbounded < dim - 1) { 493 ++level; 500 if (level >= 0) {