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