reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
688 snap = isl_tab_snap(tab); 690 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) 690 for (i = 0; i < tab->n_con && tab->con[i].frozen; ++i) 691 tab->con[i].frozen = 0; 694 if (isl_tab_detect_redundant(tab) < 0) 697 todo = isl_calloc_type(tab->mat->ctx, struct isl_facet_todo); 701 todo->constraint = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 701 todo->constraint = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 704 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var); 704 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var); 705 todo->bset = isl_basic_set_copy(isl_tab_peek_bset(tab)); 708 todo->bset = isl_basic_set_update_from_tab(todo->bset, tab); 714 todo->tab = isl_tab_dup(tab); 719 tab->con[i].frozen = 1; 721 if (isl_tab_rollback(tab, snap) < 0)