reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
430 level = 0; 434 while (level >= 0) { 435 if (level >= bset->n_ineq || 436 (!init && selection[level] != SELECTED)) { 437 --level; 443 snap[level] = isl_tab_snap(tab); 444 ok = can_select(bset, level, tab, facets, selected, 449 selection[level] = SELECTED; 452 selection[level] = UNSELECTED; 454 selection[level] = DESELECTED; 456 if (isl_tab_rollback(tab, snap[level]) < 0) 470 ++level;