Searched refs:CorrectionResults (Results 1 – 2 of 2) sorted by relevance
137 return CorrectionResults.empty() && ValidatedCorrections.size() == 1; in empty()143 return CorrectionResults.begin()->second[Name];149 if (CorrectionResults.empty()) in getBestEditDistance()152 unsigned BestED = CorrectionResults.begin()->first; in getBestEditDistance()198 return CorrectionResults.empty() && in finished()312 TypoEditDistanceMap CorrectionResults; variable
3844 CorrectionResults[Correction.getEditDistance(false)][Name]; in addCorrection()3866 while (CorrectionResults.size() > MaxTypoDistanceResultSets) in addCorrection()3867 CorrectionResults.erase(std::prev(CorrectionResults.end())); in addCorrection()3905 while (!CorrectionResults.empty()) { in getNextCorrection()3906 auto DI = CorrectionResults.begin(); in getNextCorrection()3908 CorrectionResults.erase(DI); in getNextCorrection()