Searched refs:addPossibleNextLeader (Results 1 – 1 of 1) sorted by relevance
320 void addPossibleNextLeader(std::pair<Value *, unsigned int> LeaderPair) { in addPossibleNextLeader() function in __anonb04f3f7e0111::CongruenceClass2248 NewClass->addPossibleNextLeader({I, InstrToDFSNum(I)}); in moveValueToNewCongruenceClass()