Searched refs:SHORTEST_MEDIAN_OF_MEDIANS (Results 1 – 1 of 1) sorted by relevance
581 const SHORTEST_MEDIAN_OF_MEDIANS: usize = 50; in choose_pivot() constant611 if len >= SHORTEST_MEDIAN_OF_MEDIANS { in choose_pivot()