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