Searched refs:cut_to_integer_lexmin (Results 1 – 1 of 1) sorted by relevance
1902 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab, in cut_to_integer_lexmin() function2017 tab = cut_to_integer_lexmin(tab, CUT_ALL); in check_integer_feasible()5374 data->tab = cut_to_integer_lexmin(data->tab, CUT_ONE); in enter_level()5669 tl->tab = cut_to_integer_lexmin(tl->tab, CUT_ONE); in isl_tab_lexmin_cut_to_integer()