Searched refs:setLeader (Results 1 – 1 of 1) sorted by relevance
315 void setLeader(Value *Leader) { RepLeader = Leader; } in setLeader() function in __anonc9d17a0b0111::CongruenceClass2290 NewClass->setLeader(SI); in moveValueToNewCongruenceClass()2336 OldClass->setLeader(getNextValueLeader(OldClass)); in moveValueToNewCongruenceClass()2375 NewClass->setLeader(CE->getConstantValue()); in performCongruenceFinding()2378 NewClass->setLeader(SI); in performCongruenceFinding()2383 NewClass->setLeader(I); in performCongruenceFinding()