Searched refs:BestDistance (Results 1 – 3 of 3) sorted by relevance
721 unsigned BestDistance = Group.size() + 1; // Maximum threshold. in getNearestOption() local727 unsigned Distance = O.getName().edit_distance(Group, true, BestDistance); in getNearestOption()728 if (Distance > BestDistance) in getNearestOption()736 if (Distance == BestDistance) { in getNearestOption()739 } else if (Distance < BestDistance) { in getNearestOption()742 BestDistance = Distance; in getNearestOption()
265 unsigned BestDistance = in internalFindNearest() local315 if (AbsDiff > BestDistance) { in internalFindNearest()322 /*MaxEditDistance=*/BestDistance); in internalFindNearest()332 if (Distance < BestDistance) { in internalFindNearest()333 BestDistance = Distance; in internalFindNearest()338 return BestDistance; in internalFindNearest()
568 unsigned BestDistance = 0; in LookupNearestOption() local586 Flag, /*AllowReplacements=*/true, /*MaxEditDistance=*/BestDistance); in LookupNearestOption()587 if (!Best || Distance < BestDistance) { in LookupNearestOption()589 BestDistance = Distance; in LookupNearestOption()