Searched refs:isTerminal (Results 1 – 3 of 3) sorted by relevance
200 bool isTerminal = pivot == -1; in sortAndBuild() local202 if (lastPos != pos && (isTerminal || prefixesDiverge)) { in sortAndBuild()213 if (isTerminal) { in sortAndBuild()
38 bool isTerminal() const { return isTerminal_; } in isTerminal() function
614 if (isTerminal()) { in FlushIfTerminal()