Searched refs:getRepresentativeSymbol (Results 1 – 1 of 1) sorted by relevance
990 return getRepresentativeSymbol()->getType(); in getType()1022 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol() function in __anon77be4a4c0511::EquivalenceClass2410 return F.add(F.getEmptySet(), getRepresentativeSymbol()); in getClassMembers()2419 return isTrivial(State) && Reaper.isDead(getRepresentativeSymbol()); in isTriviallyDead()2491 RF, State, First.getRepresentativeSymbol()); in addToDisequalityInfo()