Lines Matching full:shortest
1488 """Returns: dictionary; maps flag names to their shortest unique prefix."""1497 # For each name in the sorted list, determine the shortest unique
