111 RangeSet::ContainerType RangeSet::Factory::EmptySet{};
113 RangeSet RangeSet::Factory::add(RangeSet LHS, RangeSet RHS) {  in add()
121 RangeSet RangeSet::Factory::add(RangeSet Original, Range Element) {  in add()
133 RangeSet RangeSet::Factory::add(RangeSet Original, const llvm::APSInt &Point) {  in add()
137 RangeSet RangeSet::Factory::unite(RangeSet LHS, RangeSet RHS) {  in unite()
142 RangeSet RangeSet::Factory::unite(RangeSet Original, Range R) {  in unite()
149 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt Point) {  in unite()
153 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt From,  in unite()
165 RangeSet::ContainerType RangeSet::Factory::unite(const ContainerType &LHS,  in unite()
317 RangeSet RangeSet::Factory::getRangeSet(Range From) {  in getRangeSet()
323 RangeSet RangeSet::Factory::makePersistent(ContainerType &&From) {  in makePersistent()
341 RangeSet::ContainerType *RangeSet::Factory::construct(ContainerType &&From) {  in construct()
473 RangeSet RangeSet::Factory::intersect(RangeSet What, llvm::APSInt Lower,  in intersect()
516 RangeSet RangeSet::Factory::intersect(const RangeSet::ContainerType &LHS,  in intersect()
594 RangeSet RangeSet::Factory::intersect(RangeSet LHS, RangeSet RHS) {  in intersect()
603 RangeSet RangeSet::Factory::intersect(RangeSet LHS, llvm::APSInt Point) {  in intersect()
610 RangeSet RangeSet::Factory::negate(RangeSet What) {  in negate()
675 RangeSet RangeSet::Factory::castTo(RangeSet What, APSIntType Ty) {  in castTo()
706 RangeSet RangeSet::Factory::castTo(RangeSet What, QualType T) {  in castTo()
711 RangeSet::ContainerType RangeSet::Factory::truncateTo(RangeSet What,  in truncateTo()
777 RangeSet::ContainerType RangeSet::Factory::convertTo(RangeSet What,  in convertTo()
826 RangeSet::ContainerType RangeSet::Factory::promoteTo(RangeSet What,  in promoteTo()
848 RangeSet RangeSet::Factory::deletePoint(RangeSet From,  in deletePoint()
920   LLVM_NODISCARD static inline ProgramStateRef merge(RangeSet::Factory &F,
926   merge(RangeSet::Factory &F, ProgramStateRef State, EquivalenceClass Other);
949   markDisequal(RangeSet::Factory &F, ProgramStateRef State, SymbolRef First,
952   markDisequal(RangeSet::Factory &F, ProgramStateRef State,
955   markDisequal(RangeSet::Factory &F, ProgramStateRef State,
962   getDisequalClasses(DisequalityMapTy Map, ClassSet::Factory &Factory) const;
976                                                         RangeSet::Factory &F,
1025   static inline SymbolSet::Factory &getMembersFactory(ProgramStateRef State);
1027   inline ProgramStateRef mergeImpl(RangeSet::Factory &F, ProgramStateRef State,
1033                        RangeSet::Factory &F, ProgramStateRef State,
1108 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head,
1131 LLVM_NODISCARD inline EndTy intersect(RangeSet::Factory &F, EndTy End) {  in intersect()
1138 intersect(RangeSet::Factory &F, const RangeSet *End) {  in intersect()
1147 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head,  in intersect()
1155 LLVM_NODISCARD inline RangeSet intersect(RangeSet::Factory &F, RangeSet Head,  in intersect()
1188     intersect(RangeSet::Factory &F, HeadTy Head, SecondTy Second,  in intersect()
1209   static RangeSet inferRange(RangeSet::Factory &F, ProgramStateRef State,  in inferRange()
1261   SymbolicRangeInferrer(RangeSet::Factory &F, ProgramStateRef S)  in SymbolicRangeInferrer()
1620   RangeSet::Factory &RangeFactory;
1871   RangeSet::Factory F;
1999   assign(ProgramStateRef State, SValBuilder &Builder, RangeSet::Factory &F,  in assign()
2035                      RangeSet::Factory &F)  in ConstraintAssignor()
2064       ConstraintRangeTy::Factory &CF = State->get_context<ConstraintRange>();  in assign()
2115   RangeSet::Factory &RangeFactory;
2199   ConstraintMap::Factory &F = State->get_context<ConstraintMap>();  in getConstraintMap()
2241 inline ProgramStateRef EquivalenceClass::merge(RangeSet::Factory &F,  in merge()
2251 inline ProgramStateRef EquivalenceClass::merge(RangeSet::Factory &F,  in merge()
2286 EquivalenceClass::mergeImpl(RangeSet::Factory &RangeFactory,  in mergeImpl()
2301   ConstraintRangeTy::Factory &CRF = State->get_context<ConstraintRange>();  in mergeImpl()
2333   ClassMapTy::Factory &CMF = State->get_context<ClassMap>();  in mergeImpl()
2336   ClassMembersTy::Factory &MF = State->get_context<ClassMembers>();  in mergeImpl()
2339   DisequalityMapTy::Factory &DF = State->get_context<DisequalityMap>();  in mergeImpl()
2341   ClassSet::Factory &CF = State->get_context<ClassSet>();  in mergeImpl()
2342   SymbolSet::Factory &F = getMembersFactory(State);  in mergeImpl()
2398 inline SymbolSet::Factory &
2409   SymbolSet::Factory &F = getMembersFactory(State);  in getClassMembers()
2422 inline ProgramStateRef EquivalenceClass::markDisequal(RangeSet::Factory &RF,  in markDisequal()
2429 inline ProgramStateRef EquivalenceClass::markDisequal(RangeSet::Factory &RF,  in markDisequal()
2437 EquivalenceClass::markDisequal(RangeSet::Factory &RF, ProgramStateRef State,  in markDisequal()
2467     RangeSet::Factory &RF, ProgramStateRef State, EquivalenceClass First,  in addToDisequalityInfo()
2471   DisequalityMapTy::Factory &F = State->get_context<DisequalityMap>();  in addToDisequalityInfo()
2472   ClassSet::Factory &CF = State->get_context<ClassSet>();  in addToDisequalityInfo()
2473   ConstraintRangeTy::Factory &CRF = State->get_context<ConstraintRange>();  in addToDisequalityInfo()
2537   SymbolSet::Factory &F = getMembersFactory(State);  in removeMember()
2538   ClassMembersTy::Factory &EMFactory = State->get_context<ClassMembers>();  in removeMember()
2551   ClassMapTy::Factory &CMF = State->get_context<ClassMap>();  in removeMember()
2591 EquivalenceClass::simplify(SValBuilder &SVB, RangeSet::Factory &F,  in simplify()
2669                                      ClassSet::Factory &Factory) const {  in getDisequalClasses()
2673   return Factory.getEmptySet();  in getDisequalClasses()
2806   ClassMembersTy::Factory &EMFactory = State->get_context<ClassMembers>();  in removeDeadBindings()
2807   SymbolSet::Factory &SetFactory = State->get_context<SymbolSet>();  in removeDeadBindings()
2811   ConstraintRangeTy::Factory &ConstraintFactory =  in removeDeadBindings()
2816   ClassMapTy::Factory &ClassFactory = State->get_context<ClassMap>();  in removeDeadBindings()
2819   DisequalityMapTy::Factory &DisequalityFactory =  in removeDeadBindings()
2821   ClassSet::Factory &ClassSetFactory = State->get_context<ClassSet>();  in removeDeadBindings()