Searched refs:getPersistentState (Results 1 – 2 of 2) sorted by relevance
110 return getPersistentState(NewState); in removeDeadBindingsFromEnvironmentAndStore()314 return getStateManager().getPersistentState(NewSt); in BindExpr()402 return getPersistentState(State); in getInitialState()410 return getPersistentState(NewState); in getPersistentStateWithGDM()413 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) { in getPersistentState() function in ProgramStateManager438 return getStateManager().getPersistentState(NewSt); in makeWithStore()444 return getStateManager().getPersistentState(NewSt); in cloneAsPosteriorlyOverconstrained()531 return getPersistentState(NewSt); in addGDM()543 return getPersistentState(NewState); in removeGDM()
602 ProgramStateRef getPersistentState(ProgramState &Impl);