reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
613 snap = isl_tab_snap(tab); 615 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) 615 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) 616 tab->con[i].frozen = 0; 619 if (isl_tab_detect_redundant(tab) < 0) 622 c = isl_calloc_type(tab->mat->ctx, struct isl_chamber_list); 625 c->c.vertices = isl_alloc_array(tab->mat->ctx, int, n_vertices); 628 c->c.dom = isl_basic_set_copy(isl_tab_peek_bset(tab)); 631 c->c.dom = isl_basic_set_update_from_tab(c->c.dom, tab); 649 tab->con[i].frozen = 1; 651 if (isl_tab_rollback(tab, snap) < 0)