2064       ConstraintRangeTy::Factory &CF = State->get_context<ConstraintRange>();  in assign()
2199   ConstraintMap::Factory &F = State->get_context<ConstraintMap>();  in getConstraintMap()
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()
2400   return State->get_context<SymbolSet>();  in getMembersFactory()
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()
2538   ClassMembersTy::Factory &EMFactory = State->get_context<ClassMembers>();  in removeMember()
2551   ClassMapTy::Factory &CMF = State->get_context<ClassMap>();  in removeMember()
2664                             State->get_context<ClassSet>());  in getDisequalClasses()
2806   ClassMembersTy::Factory &EMFactory = State->get_context<ClassMembers>();  in removeDeadBindings()
2807   SymbolSet::Factory &SetFactory = State->get_context<SymbolSet>();  in removeDeadBindings()
2812       State->get_context<ConstraintRange>();  in removeDeadBindings()
2816   ClassMapTy::Factory &ClassFactory = State->get_context<ClassMap>();  in removeDeadBindings()
2820       State->get_context<DisequalityMap>();  in removeDeadBindings()
2821   ClassSet::Factory &ClassSetFactory = State->get_context<ClassSet>();  in removeDeadBindings()