reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
797 snap = isl_tab_snap(tab); 799 for (i = 0; i < tab->n_con; ++i) { 802 if (tab->con[i].frozen) 804 if (tab->con[i].is_redundant) 807 if (isl_tab_select_facet(tab, i) < 0) 810 todo = create_todo(tab, i); 825 if (isl_tab_rollback(tab, snap) < 0)