Searched refs:BestDistance (Results 1 – 2 of 2) sorted by relevance
568 unsigned BestDistance = Group.size() + 1; // Sanity threshold. in getNearestOption() local574 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()575 if (Distance > BestDistance) in getNearestOption()583 if (Distance == BestDistance) { in getNearestOption()586 } else if (Distance < BestDistance) { in getNearestOption()589 BestDistance = Distance; in getNearestOption()
294 unsigned BestDistance = 0; in LookupNearestOption() local308 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()309 if (!Best || Distance < BestDistance) { in LookupNearestOption()311 BestDistance = Distance; in LookupNearestOption()