Searched refs:getRepresentativeSymbol (Results 1 – 1 of 1) sorted by relevance
618 return getRepresentativeSymbol()->getType(); in getType()650 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol() function in __anond29132340411::EquivalenceClass1969 return F.add(F.getEmptySet(), getRepresentativeSymbol()); in getClassMembers()1978 return isTrivial(State) && Reaper.isDead(getRepresentativeSymbol()); in isTriviallyDead()2050 RF, State, First.getRepresentativeSymbol()); in addToDisequalityInfo()