Searched refs:getPersistentState (Results 1 – 2 of 2) sorted by relevance
111 return getPersistentState(NewState); in removeDeadBindingsFromEnvironmentAndStore()326 return getStateManager().getPersistentState(NewSt); in BindExpr()414 return getPersistentState(State); in getInitialState()422 return getPersistentState(NewState); in getPersistentStateWithGDM()425 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) { in getPersistentState() function in ProgramStateManager450 return getStateManager().getPersistentState(NewSt); in makeWithStore()456 return getStateManager().getPersistentState(NewSt); in cloneAsPosteriorlyOverconstrained()561 return getPersistentState(NewSt); in addGDM()573 return getPersistentState(NewState); in removeGDM()
606 ProgramStateRef getPersistentState(ProgramState &Impl);