Searched refs:OtherMembers (Results 1 – 1 of 1) sorted by relevance
1029 SymbolSet OtherMembers);2356 SymbolSet OtherMembers = Other.getClassMembers(State); in merge() local2361 if (Members.getHeight() >= OtherMembers.getHeight()) { in merge()2362 return mergeImpl(F, State, Members, Other, OtherMembers); in merge()2364 return Other.mergeImpl(F, State, OtherMembers, *this, Members); in merge()2371 EquivalenceClass Other, SymbolSet OtherMembers) { in mergeImpl() argument2429 for (SymbolRef Sym : OtherMembers) { in mergeImpl()