38     ProgramStateManager &Mgr = s->getStateManager();  in ProgramStateRelease()  local
39     Mgr.StateSet.RemoveNode(s);  in ProgramStateRelease()
41     Mgr.freeStates.push_back(s);  in ProgramStateRelease()
117   ProgramStateManager &Mgr = getStateManager();  in bindLoc()  local
118   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),  in bindLoc()
122     return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);  in bindLoc()
130   ProgramStateManager &Mgr = getStateManager();  in bindDefaultInitial()  local
132   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);  in bindDefaultInitial()
134   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);  in bindDefaultInitial()
139   ProgramStateManager &Mgr = getStateManager();  in bindDefaultZero()  local
141   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);  in bindDefaultZero()
143   return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);  in bindDefaultZero()
187   ProgramStateManager &Mgr = getStateManager();  in invalidateRegionsImpl()  local
188   ExprEngine &Eng = Mgr.getOwningEngine();  in invalidateRegionsImpl()
201   = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,  in invalidateRegionsImpl()
466   ProgramStateManager &Mgr = getStateManager();  in printJson()  local
469   Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);  in printJson()
472   Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot);  in printJson()
475   Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot);  in printJson()
481   Mgr.getOwningEngine().printJson(Out, this, LCtx, NL, Space, IsDot);  in printJson()