reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
278 snap = isl_tab_snap(tab); 281 isl_int_add(tab->basis->row[1 + level][0], 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) 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) 291 if (++level >= tab->n_var - tab->n_unbounded) 293 if (isl_tab_sample_is_integer(tab)) 296 res = compute_min(ctx, tab, min, level); 303 res = compute_max(ctx, tab, max, level); 312 if (isl_tab_rollback(tab, snap) < 0)