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