38     ProgramStateManager &Mgr = s->getStateManager();  in ProgramStateRelease()
46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,  in ProgramState()
71 ProgramStateManager::ProgramStateManager(ASTContext &Ctx,  in ProgramStateManager()  function in ProgramStateManager
84 ProgramStateManager::~ProgramStateManager() {  in ~ProgramStateManager()
90 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore(  in removeDeadBindingsFromEnvironmentAndStore()
117   ProgramStateManager &Mgr = getStateManager();  in bindLoc()
130   ProgramStateManager &Mgr = getStateManager();  in bindDefaultInitial()
139   ProgramStateManager &Mgr = getStateManager();  in bindDefaultZero()
187   ProgramStateManager &Mgr = getStateManager();  in invalidateRegionsImpl()
327   ProgramStateManager &SM = getStateManager();  in assumeInBoundDual()
396 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) {  in getInitialState()
405 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM(  in getPersistentStateWithGDM()
413 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) {  in getPersistentState()
466   ProgramStateManager &Mgr = getStateManager();  in printJson()
509 ProgramStateManager::FindGDMContext(void *K,  in FindGDMContext()
522 ProgramStateRef ProgramStateManager::addGDM(ProgramStateRef St, void *Key, void *Data){  in addGDM()
534 ProgramStateRef ProgramStateManager::removeGDM(ProgramStateRef state, void *Key) {  in removeGDM()