Searched refs:currentResultSize (Results 1 – 1 of 1) sorted by relevance
1284 final int currentResultSize = outInfos.size(); in prefetchPredecessorsOfVirtualNode() local1285 for (int i = currentResultSize - 1; i >= initialResultSize; i--) { in prefetchPredecessorsOfVirtualNode()