Searched refs:BestDistance (Results 1 – 3 of 3) sorted by relevance
753 unsigned BestDistance = Group.size() + 1; // Maximum threshold. in getNearestOption() local759 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()760 if (Distance > BestDistance) in getNearestOption()768 if (Distance == BestDistance) { in getNearestOption()771 } else if (Distance < BestDistance) { in getNearestOption()774 BestDistance = Distance; in getNearestOption()
269 unsigned BestDistance = in internalFindNearest() local321 if (AbsDiff > BestDistance) { in internalFindNearest()328 /*MaxEditDistance=*/BestDistance); in internalFindNearest()338 if (Distance < BestDistance) { in internalFindNearest()339 BestDistance = Distance; in internalFindNearest()344 return BestDistance; in internalFindNearest()
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()