Searched refs:BestDistance (Results 1 – 3 of 3) sorted by relevance
689 unsigned BestDistance = Group.size() + 1; // Sanity threshold. in getNearestOption() local695 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()696 if (Distance > BestDistance) in getNearestOption()704 if (Distance == BestDistance) { in getNearestOption()707 } else if (Distance < BestDistance) { in getNearestOption()710 BestDistance = Distance; in getNearestOption()
259 unsigned BestDistance = UINT_MAX; in findNearest() local306 /*MaxEditDistance=*/BestDistance); in findNearest()316 if (Distance < BestDistance) { in findNearest()317 BestDistance = Distance; in findNearest()322 return BestDistance; in findNearest()
586 unsigned BestDistance = 0; in LookupNearestOption() local604 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()605 if (!Best || Distance < BestDistance) { in LookupNearestOption()607 BestDistance = Distance; in LookupNearestOption()