79   StoreMgr = (*CreateSMgr)(*this);  in ProgramStateManager()
105   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,  in removeDeadBindingsFromEnvironmentAndStore()
118   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),  in bindLoc()
132   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);  in bindDefaultInitial()
141   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);  in bindDefaultZero()
201   = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,  in invalidateRegionsImpl()
223     getStateManager().StoreMgr->killBinding(OldStore, LV);  in killBinding()
235     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);  in enterStackFrame()
399                 StoreMgr->getInitialStore(InitLoc),  in getInitialState()
551   StoreManager &StoreMgr = state->getStateManager().getStoreManager();  in scan()  local
556   return StoreMgr.scanReachableSymbols(val.getStore(), R, *this);  in scan()
626       StoreManager &StoreMgr = state->getStateManager().getStoreManager();  in scan()  local
627       if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))  in scan()