reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
5017 if (!BestTC) 5020 ED = BestTC.getEditDistance(); 5031 SecondBestTC.getEditDistance(false) > BestTC.getEditDistance(false)) { 5032 const TypoCorrection &Result = BestTC; 5047 if (BestTC.getCorrection().getAsString() != "super") { 5049 BestTC = SecondBestTC; 5051 BestTC = (*Consumer)["super"].front(); 5055 if (BestTC.getEditDistance() == 0 || 5056 BestTC.getCorrection().getAsString() != "super") 5059 BestTC.setCorrectionRange(SS, TypoName); 5060 return BestTC;