Searched defs:is_last_document_desired (Results 1 – 1 of 1) sorted by relevance
385 DocumentId& last_document_id, bool& is_last_document_desired, in ScoreAndAppendFetchedHit()512 bool is_last_document_desired = false; in FetchHits() local