reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
412 tab = isl_tab_from_basic_set(bset, 0); 413 if (!tab) 415 tab->strict_redundant = 1; 417 if (tab->empty) { 420 isl_tab_free(tab); 443 snap[level] = isl_tab_snap(tab); 444 ok = can_select(bset, level, tab, facets, selected, 456 if (isl_tab_rollback(tab, snap[level]) < 0) 460 if (tab->n_dead == nvar) { 461 isl_bool added = add_vertex(&list, bset, tab); 478 isl_tab_free(tab); 490 isl_tab_free(tab);