Lines Matching refs:n_ineq
481 selection = isl_alloc_array(copy->ctx, int, copy->n_ineq);
482 snap = isl_alloc_array(copy->ctx, struct isl_tab_undo *, copy->n_ineq);
484 if ((copy->n_ineq && (!selection || !snap)) || !facets)
492 if (level >= copy->n_ineq ||
580 for (i = 0; i < bset->n_ineq; ++i) {
634 if (isl_tab_extend_cons(tab, bset->n_ineq) < 0)
639 for (i = 0; i < bset->n_ineq; ++i) {
949 for (i = 0; i < bset->n_ineq; ++i)
1189 tab = isl_tab_alloc(bset->ctx, bset->n_eq + bset->n_ineq + 1,
1212 for (i = 0; i < bset->n_ineq; ++i) {
1553 for (i = 0; i < bset->n_ineq; ++i) {
Indexes created Mon Jun 29 00:24:49 UTC 2026