Searched refs:CorrectionResults (Results 1 – 2 of 2) sorted by relevance
138 return CorrectionResults.empty() && ValidatedCorrections.size() == 1; in empty()144 return CorrectionResults.begin()->second[Name];150 if (CorrectionResults.empty()) in getBestEditDistance()153 unsigned BestED = CorrectionResults.begin()->first; in getBestEditDistance()199 return CorrectionResults.empty() && in finished()316 TypoEditDistanceMap CorrectionResults; variable
3930 CorrectionResults[Correction.getEditDistance(false)][Name]; in addCorrection()3952 while (CorrectionResults.size() > MaxTypoDistanceResultSets) in addCorrection()3953 CorrectionResults.erase(std::prev(CorrectionResults.end())); in addCorrection()3991 while (!CorrectionResults.empty()) { in getNextCorrection()3992 auto DI = CorrectionResults.begin(); in getNextCorrection()3994 CorrectionResults.erase(DI); in getNextCorrection()