reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
92 ProgramStateRef makeWithStore(const StoreRef &store) const;
124 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 139 ProgramStateRef new_state = makeWithStore(newStore); 148 ProgramStateRef new_state = makeWithStore(newStore); 211 ProgramStateRef newState = makeWithStore(newStore); 234 return makeWithStore(newStore); 242 return makeWithStore(NewStore);