reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
572 if (bset->n_eq > 0) 573 isl_die(isl_basic_set_get_ctx(bset), isl_error_internal, 577 if (isl_tab_extend_cons(tab, bset->n_ineq) < 0) 582 for (i = 0; i < bset->n_ineq; ++i) { 583 if (isl_tab_ineq_type(tab, bset->ineq[i]) == isl_ineq_redundant) 585 if (isl_tab_add_ineq(tab, bset->ineq[i]) < 0)