Searched refs:OtherMembers (Results 1 – 1 of 1) sorted by relevance
1029 SymbolSet OtherMembers);2340 SymbolSet OtherMembers = Other.getClassMembers(State); in merge() local2345 if (Members.getHeight() >= OtherMembers.getHeight()) { in merge()2346 return mergeImpl(F, State, Members, Other, OtherMembers); in merge()2348 return Other.mergeImpl(F, State, OtherMembers, *this, Members); in merge()2355 EquivalenceClass Other, SymbolSet OtherMembers) { in mergeImpl() argument2413 for (SymbolRef Sym : OtherMembers) { in mergeImpl()