Searched refs:BestDistance (Results 1 – 4 of 4) sorted by relevance
574 unsigned BestDistance = Group.size() + 1; // Sanity threshold. in getNearestOption() local580 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()581 if (Distance > BestDistance) in getNearestOption()589 if (Distance == BestDistance) { in getNearestOption()592 } else if (Distance < BestDistance) { in getNearestOption()595 BestDistance = Distance; in getNearestOption()
201 unsigned BestDistance = 0; in LookupNearestOption() local215 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()216 if (!Best || Distance < BestDistance) { in LookupNearestOption()218 BestDistance = Distance; in LookupNearestOption()
482 unsigned BestDistance = 0; in LookupNearestOption() local496 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()497 if (!Best || Distance < BestDistance) { in LookupNearestOption()499 BestDistance = Distance; in LookupNearestOption()
462 unsigned BestDistance = 0; in LookupNearestOption() local476 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()477 if (!Best || Distance < BestDistance) { in LookupNearestOption()479 BestDistance = Distance; in LookupNearestOption()