reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
739 snap = isl_tab_snap(tab); 741 for (i = 0; i < tab->n_con; ++i) { 742 if (tab->con[i].frozen) 744 if (tab->con[i].is_redundant) 747 if (isl_tab_select_facet(tab, i) < 0) 750 todo = create_todo(tab, i); 757 if (isl_tab_rollback(tab, snap) < 0)