Searched refs:BestDistance (Results 1 – 3 of 3) sorted by relevance
722 unsigned BestDistance = Group.size() + 1; // Maximum threshold. in getNearestOption() local728 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()729 if (Distance > BestDistance) in getNearestOption()737 if (Distance == BestDistance) { in getNearestOption()740 } else if (Distance < BestDistance) { in getNearestOption()743 BestDistance = Distance; in getNearestOption()
258 unsigned BestDistance = UINT_MAX; in findNearest() local305 /*MaxEditDistance=*/BestDistance); in findNearest()315 if (Distance < BestDistance) { in findNearest()316 BestDistance = Distance; in findNearest()321 return BestDistance; in findNearest()
585 unsigned BestDistance = 0; in LookupNearestOption() local603 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()604 if (!Best || Distance < BestDistance) { in LookupNearestOption()606 BestDistance = Distance; in LookupNearestOption()