NodeSorter sorter = new NodeSorter(xctxt); sourceNodes.setShouldCacheNodes(true); sourceNodes.runTo(-1); sorter.sort(sourceNodes, keys, xctxt); sourceNodes.setCurrentPos(0);
mergesort(nodes, scratchVector, 0, n - 1, support);
mergesort(nodes, scratchVector, 0, n - 1, support);
NodeSorter sorter = new NodeSorter(xctxt); sourceNodes.setShouldCacheNodes(true); sourceNodes.runTo(-1); sorter.sort(sourceNodes, keys, xctxt); sourceNodes.setCurrentPos(0);
mergesort(nodes, scratchVector, 0, n - 1, support);
NodeSorter sorter = new NodeSorter(xctxt); sourceNodes.setShouldCacheNodes(true); sourceNodes.runTo(-1); sorter.sort(sourceNodes, keys, xctxt); sourceNodes.setCurrentPos(0);
mergesort(nodes, scratchVector, 0, n - 1, support);
NodeSorter sorter = new NodeSorter(xctxt); sourceNodes.setShouldCacheNodes(true); sourceNodes.runTo(-1); sorter.sort(sourceNodes, keys, xctxt); sourceNodes.setCurrentPos(0);
mergesort(nodes, scratchVector, 0, n - 1, support);
NodeSorter sorter = new NodeSorter(xctxt); sourceNodes.setShouldCacheNodes(true); sourceNodes.runTo(-1); sorter.sort(sourceNodes, keys, xctxt); sourceNodes.setCurrentPos(0);