Searched refs:BestDistance (Results 1 – 3 of 3) sorted by relevance
595 unsigned BestDistance = Group.size() + 1; // Sanity threshold. in getNearestOption() local601 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()602 if (Distance > BestDistance) in getNearestOption()610 if (Distance == BestDistance) { in getNearestOption()613 } else if (Distance < BestDistance) { in getNearestOption()616 BestDistance = Distance; in getNearestOption()
256 unsigned BestDistance = UINT_MAX; in findNearest() local304 /*MaxEditDistance=*/BestDistance); in findNearest()305 if (Distance < BestDistance) { in findNearest()306 BestDistance = Distance; in findNearest()310 return BestDistance; in findNearest()
478 unsigned BestDistance = 0; in LookupNearestOption() local492 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()493 if (!Best || Distance < BestDistance) { in LookupNearestOption()495 BestDistance = Distance; in LookupNearestOption()