Searched refs:setLeader (Results 1 – 1 of 1) sorted by relevance
315 void setLeader(Value *Leader) { RepLeader = Leader; } in setLeader() function in __anonb3555ec80111::CongruenceClass2276 NewClass->setLeader(SI); in moveValueToNewCongruenceClass()2322 OldClass->setLeader(getNextValueLeader(OldClass)); in moveValueToNewCongruenceClass()2361 NewClass->setLeader(CE->getConstantValue()); in performCongruenceFinding()2364 NewClass->setLeader(SI); in performCongruenceFinding()2369 NewClass->setLeader(I); in performCongruenceFinding()