reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
281 isl_int_add(tab->basis->row[1 + level][0], 282 min->el[level], max->el[level]); 282 min->el[level], max->el[level]); 283 isl_int_fdiv_q_ui(tab->basis->row[1 + level][0], 284 tab->basis->row[1 + level][0], 2); 285 isl_int_neg(tab->basis->row[1 + level][0], 286 tab->basis->row[1 + level][0]); 287 if (isl_tab_add_valid_eq(tab, tab->basis->row[1 + level]) < 0) 289 isl_int_set_si(tab->basis->row[1 + level][0], 0); 291 if (++level >= tab->n_var - tab->n_unbounded) 296 res = compute_min(ctx, tab, min, level); 303 res = compute_max(ctx, tab, max, level); 310 } while (isl_int_le(min->el[level], max->el[level])); 310 } while (isl_int_le(min->el[level], max->el[level]));