reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
5520 isl_tab_free(tl->tab); 5545 tl->tab = tab_for_lexmin(bset, NULL, 0, 0); 5547 if (!tl->tab) 5560 return tl ? tl->tab->n_var : -1; 5575 if (isl_tab_extend_cons(tl->tab, 2) < 0) 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) 5597 tl->tab = cut_to_integer_lexmin(tl->tab, CUT_ONE); 5597 tl->tab = cut_to_integer_lexmin(tl->tab, CUT_ONE); 5598 if (!tl->tab) 5611 if (tl->tab->empty) 5614 return isl_tab_get_sample_value(tl->tab);