tvm_tirx.sym.int_set.union_lower_bound

tvm_tirx.sym.int_set.union_lower_bound(sets)

Create a lower-bound of union set, where some of the segments may be dropped

Parameters:

sets (List[IntSet]) – The sets to be combined

Returns:

union_lower_bound (List[IntSet]) – An N-dimensional integer set, the lower bound of the union