Searched refs:setLeader (Results 1 – 1 of 1) sorted by relevance
315 void setLeader(Value *Leader) { RepLeader = Leader; } in setLeader() function in __anonb04f3f7e0111::CongruenceClass2272 NewClass->setLeader(SI); in moveValueToNewCongruenceClass()2318 OldClass->setLeader(getNextValueLeader(OldClass)); in moveValueToNewCongruenceClass()2357 NewClass->setLeader(CE->getConstantValue()); in performCongruenceFinding()2360 NewClass->setLeader(SI); in performCongruenceFinding()2365 NewClass->setLeader(I); in performCongruenceFinding()