Searched defs:oldTree (Results 1 – 1 of 1) sorted by relevance
115 val oldTree = createTree(old, filter) in pop() constant134 val oldTree = createTree(old, filter) in pop() constant163 val oldTree = oldList[index1] in pop() constant230 val oldTree = oldList[index1++] in pop() constant