Searched refs:NextLeader (Results 1 – 1 of 1) sorted by relevance
320 return NextLeader; in getNextLeader()322 void resetNextLeader() { NextLeader = {nullptr, ~0}; } in resetNextLeader()324 if (LeaderPair.second < NextLeader.second) in addPossibleNextLeader()325 NextLeader = LeaderPair; in addPossibleNextLeader()403 std::pair<Value *, unsigned int> NextLeader = {nullptr, ~0U}; member in __anon1f4f44df0111::CongruenceClass