Lines Matching refs:PrefixSuccessor
1987 // |*max| to |PrefixSuccessor(*max)|.2096 // Done, no need for PrefixSuccessor.2102 *max = PrefixSuccessor(*max);