Searched refs:OtherMembers (Results 1 – 1 of 1) sorted by relevance
1029 SymbolSet OtherMembers);2273 SymbolSet OtherMembers = Other.getClassMembers(State); in merge() local2278 if (Members.getHeight() >= OtherMembers.getHeight()) { in merge()2279 return mergeImpl(F, State, Members, Other, OtherMembers); in merge()2281 return Other.mergeImpl(F, State, OtherMembers, *this, Members); in merge()2288 EquivalenceClass Other, SymbolSet OtherMembers) { in mergeImpl() argument2346 for (SymbolRef Sym : OtherMembers) { in mergeImpl()