public int getExactResultSize() { return exactResultSize; }
/** {@inheritDoc}*/ @Override
public ResultSet getResultSet(int start, int length)
{
length = length < docids.length ? length : docids.length;
QueryResultSet resultSet = new QueryResultSet(length);
System.arraycopy(docids, start, resultSet.getDocids(), 0, length);
System.arraycopy(scores, start, resultSet.getScores(), 0, length);
System.arraycopy(occurrences, start, resultSet.getOccurrences(), 0, length);
return resultSet;
}