Searched refs:docidLeft (Results 1 – 1 of 1) sorted by relevance
740 docidLeft = nextDocid(&left); in docListPhraseMerge()744 if( docidLeft<docidRight ){ in docListPhraseMerge()774 docidLeft = nextDocid(&left); in docListAndMerge()778 if( docidLeft<docidRight ){ in docListAndMerge()806 docidLeft = nextDocid(&left); in docListOrMerge()815 priorLeft = docidLeft; in docListOrMerge()823 while( docidLeft>0 ){ in docListOrMerge()851 docidLeft = nextDocid(&left); in docListExceptMerge()855 priorLeft = docidLeft; in docListExceptMerge()856 if( docidLeft<docidRight ){ in docListExceptMerge()[all …]