Searched refs:resetNextLeader (Results 1 – 1 of 1) sorted by relevance
323 void resetNextLeader() { NextLeader = {nullptr, ~0}; } in resetNextLeader() function in __anon0afe5c7c0111::CongruenceClass2209 OldClass->resetNextLeader(); in moveValueToNewCongruenceClass()2286 OldClass->resetNextLeader(); in moveValueToNewCongruenceClass()