reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2368 tab = isl_tab_from_basic_set(combined, 0); 2370 if (isl_tab_freeze_constraint(tab, n_eq + i) < 0) 2372 if (isl_tab_extend_cons(tab, bset->n_ineq) < 0) 2379 if (isl_tab_add_ineq(tab, ineq->row[i]) < 0) 2383 if (isl_tab_detect_implicit_equalities(tab) < 0) 2385 if (isl_tab_detect_redundant(tab) < 0) 2394 if (tab->con[n_eq + r].is_redundant) 2399 test = isl_basic_set_update_from_tab(test, tab); 2405 tab->con[n_eq + r].is_redundant = 1; 2407 bset = update_ineq_free(bset, ineq, context, row, tab); 2418 isl_tab_free(tab);