public SearchResult<T> next() {
	if (!hasNext())
	    throw new NoSuchElementException();
	SearchResult<T> result = currentResult;
	currentResult = tree.continueSearch(currentResult);
	return result;
    }