Searched refs:CorrectionResults (Results 1 – 2 of 2) sorted by relevance
116 return CorrectionResults.empty() && ValidatedCorrections.size() == 1; in empty()122 return CorrectionResults.begin()->second[Name];128 if (CorrectionResults.empty()) in getBestEditDistance()131 unsigned BestED = CorrectionResults.begin()->first; in getBestEditDistance()182 return CorrectionResults.empty() && in finished()299 TypoEditDistanceMap CorrectionResults; variable
4566 CorrectionResults[Correction.getEditDistance(false)][Name]; in addCorrection()4605 while (CorrectionResults.size() > MaxTypoDistanceResultSets) in addCorrection()4606 CorrectionResults.erase(std::prev(CorrectionResults.end())); in addCorrection()4644 while (!CorrectionResults.empty()) { in getNextCorrection()4645 auto DI = CorrectionResults.begin(); in getNextCorrection()4647 CorrectionResults.erase(DI); in getNextCorrection()