reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
275 if (isl_tab_is_redundant(tab, level)) 286 snap = isl_tab_snap(tab); 287 if (isl_tab_select_facet(tab, level) < 0) 290 if (tab->empty) { 291 if (isl_tab_rollback(tab, snap) < 0) 302 if (isl_tab_is_equality(tab, i)) 304 else if (isl_tab_is_redundant(tab, i)) 307 sgn = isl_tab_sign_of_max(tab, i); 311 if (isl_tab_rollback(tab, snap) < 0)