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