875 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)
882 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMembers, EquivalenceClass, SymbolSet)
929   LLVM_NODISCARD inline SymbolSet getClassMembers(ProgramStateRef State) const;
1025   static inline SymbolSet::Factory &getMembersFactory(ProgramStateRef State);
1028                                    SymbolSet Members, EquivalenceClass Other,
1029                                    SymbolSet OtherMembers);
2124   for (std::pair<EquivalenceClass, SymbolSet> ClassToSymbolSet : Members) {  in assignSymExprToConst()
2205     SymbolSet ClassMembers = Class.getClassMembers(State);  in getConstraintMap()
2222   SymbolSet ClassMembers = getClassMembers(State);  in dumpToStream()
2272   SymbolSet Members = getClassMembers(State);  in merge()
2273   SymbolSet OtherMembers = Other.getClassMembers(State);  in merge()
2287                             ProgramStateRef State, SymbolSet MyMembers,  in mergeImpl()
2288                             EquivalenceClass Other, SymbolSet OtherMembers) {  in mergeImpl()
2342   SymbolSet::Factory &F = getMembersFactory(State);  in mergeImpl()
2345   SymbolSet NewClassMembers = MyMembers;  in mergeImpl()
2398 inline SymbolSet::Factory &
2400   return State->get_context<SymbolSet>();  in getMembersFactory()
2403 SymbolSet EquivalenceClass::getClassMembers(ProgramStateRef State) const {  in getClassMembers()
2404   if (const SymbolSet *Members = State->get<ClassMembers>(*this))  in getClassMembers()
2409   SymbolSet::Factory &F = getMembersFactory(State);  in getClassMembers()
2533   SymbolSet ClsMembers = getClassMembers(State);  in removeMember()
2537   SymbolSet::Factory &F = getMembersFactory(State);  in removeMember()
2593   SymbolSet ClassMembers = Class.getClassMembers(State);  in simplify()
2679   for (std::pair<EquivalenceClass, SymbolSet> ClassMembersPair : Members) {  in isClassDataConsistent()
2807   SymbolSet::Factory &SetFactory = State->get_context<SymbolSet>();  in removeDeadBindings()
2883   for (std::pair<EquivalenceClass, SymbolSet> ClassMembersPair :  in removeDeadBindings()
2886     SymbolSet LiveMembers = ClassMembersPair.second;  in removeDeadBindings()
3206     SymbolSet ClassMembers = P.first.getClassMembers(State);  in printConstraints()
3238   SymbolSet ClassMembers = Class.getClassMembers(State);  in toString()
3276   for (std::pair<EquivalenceClass, SymbolSet> ClassToSymbolSet : Members)  in printEquivalenceClasses()