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 __anonaf982a120511::EquivalenceClass2477 return F.add(F.getEmptySet(), getRepresentativeSymbol()); in getClassMembers()2486 return isTrivial(State) && Reaper.isDead(getRepresentativeSymbol()); in isTriviallyDead()2558 RF, State, First.getRepresentativeSymbol()); in addToDisequalityInfo()