Searched refs:LeaderPair (Results 1 – 1 of 1) sorted by relevance
323 void addPossibleNextLeader(std::pair<Value *, unsigned int> LeaderPair) { in addPossibleNextLeader() argument324 if (LeaderPair.second < NextLeader.second) in addPossibleNextLeader()325 NextLeader = LeaderPair; in addPossibleNextLeader()