Searched refs:add_lexmin_ineq (Results 1 – 1 of 1) sorted by relevance
1683 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq) in add_lexmin_ineq() function2385 tab = add_lexmin_ineq(tab, bmap->ineq[i]); in tab_for_lexmin()2543 clex->tab = add_lexmin_ineq(clex->tab, ineq); in context_lex_add_ineq()2631 clex->tab = add_lexmin_ineq(clex->tab, ineq); in context_lex_test_ineq()5230 return add_lexmin_ineq(tab, data->v->el); in pos_neg()5651 tl->tab = add_lexmin_ineq(tl->tab, eq); in isl_tab_lexmin_add_eq()5653 tl->tab = add_lexmin_ineq(tl->tab, eq); in isl_tab_lexmin_add_eq()