Searched refs:getRepresentativeSymbol (Results 1 – 1 of 1) sorted by relevance
592 return getRepresentativeSymbol()->getType(); in getType()624 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol() function in __anon0bb35a870411::EquivalenceClass1769 return F.add(F.getEmptySet(), getRepresentativeSymbol()); in getClassMembers()1778 return isTrivial(State) && Reaper.isDead(getRepresentativeSymbol()); in isTriviallyDead()1853 VF, RF, State, First.getRepresentativeSymbol()); in addToDisequalityInfo()