Searched defs:simplifiedRange (Results 1 – 1 of 1) sorted by relevance
677 RangeTree simplifiedRange = simplifiedIndexTable.getRanges(INDEX, i); in simplify() local764 RangeTree simplifiedRange = in simplifyIndexTable() local773 disjointRange, simplifiedRange, disjointRange.subtract(simplifiedRange)); in simplifyIndexTable() local