Searched refs:CorrectionResults (Results 1 – 2 of 2) sorted by relevance
125 return CorrectionResults.empty() && ValidatedCorrections.size() == 1; in empty()131 return CorrectionResults.begin()->second[Name];137 if (CorrectionResults.empty()) in getBestEditDistance()140 unsigned BestED = CorrectionResults.begin()->first; in getBestEditDistance()186 return CorrectionResults.empty() && in finished()277 TypoEditDistanceMap CorrectionResults; variable
3477 CorrectionResults[Correction.getEditDistance(false)][Name]; in addCorrection()3499 while (CorrectionResults.size() > MaxTypoDistanceResultSets) in addCorrection()3500 CorrectionResults.erase(std::prev(CorrectionResults.end())); in addCorrection()3533 while (!CorrectionResults.empty()) { in getNextCorrection()3534 auto DI = CorrectionResults.begin(); in getNextCorrection()3536 CorrectionResults.erase(DI); in getNextCorrection()