Searched defs:disjointRange (Results 1 – 1 of 1) sorted by relevance
760 RangeTree disjointRange = prefixDisjointTable.getRanges(INDEX, n); in simplifyIndexTable() local773 disjointRange, simplifiedRange, disjointRange.subtract(simplifiedRange)); in simplifyIndexTable() local