Searched refs:add_bounds (Results 1 – 2 of 2) sorted by relevance
108 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset, in add_bounds() function172 slice = add_bounds(isl_basic_set_copy(bset), f, l, tmp); in solve_ilp_search()
2307 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset, in add_bounds() function2359 hull = add_bounds(hull, data, set, i, shift); in uset_simple_hull()