reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
5572 if (!tl || !eq) 5573 return isl_tab_lexmin_free(tl); 5575 if (isl_tab_extend_cons(tl->tab, 2) < 0) 5576 return isl_tab_lexmin_free(tl); 5577 n_var = tl->tab->n_var; 5579 tl->tab = add_lexmin_ineq(tl->tab, eq); 5579 tl->tab = add_lexmin_ineq(tl->tab, eq); 5581 tl->tab = add_lexmin_ineq(tl->tab, eq); 5581 tl->tab = add_lexmin_ineq(tl->tab, eq); 5583 if (!tl->tab) 5584 return isl_tab_lexmin_free(tl); 5586 return tl;