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