Searched refs:setLeader (Results 1 – 1 of 1) sorted by relevance
318 void setLeader(Value *Leader) { RepLeader = Leader; } in setLeader() function in __anon1f4f44df0111::CongruenceClass2269 NewClass->setLeader(SI); in moveValueToNewCongruenceClass()2315 OldClass->setLeader(getNextValueLeader(OldClass)); in moveValueToNewCongruenceClass()2354 NewClass->setLeader(CE->getConstantValue()); in performCongruenceFinding()2357 NewClass->setLeader(SI); in performCongruenceFinding()2362 NewClass->setLeader(I); in performCongruenceFinding()