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 __anonaacf511c0511::EquivalenceClass2478 return F.add(F.getEmptySet(), getRepresentativeSymbol()); in getClassMembers()2487 return isTrivial(State) && Reaper.isDead(getRepresentativeSymbol()); in isTriviallyDead()2559 RF, State, First.getRepresentativeSymbol()); in addToDisequalityInfo()