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()400 std::pair<Value *, unsigned int> NextLeader = {nullptr, ~0U}; member in __anonb3555ec80111::CongruenceClass