Searched refs:cut_to_integer_lexmin (Results 1 – 1 of 1) sorted by relevance
1876 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab, in cut_to_integer_lexmin() function1991 tab = cut_to_integer_lexmin(tab, CUT_ALL); in check_integer_feasible()5347 data->tab = cut_to_integer_lexmin(data->tab, CUT_ONE); in enter_level()5642 tl->tab = cut_to_integer_lexmin(tl->tab, CUT_ONE); in isl_tab_lexmin_cut_to_integer()