Searched refs:setStore (Results 1 – 2 of 2) sorted by relevance
107 NewState.setStore(newStore); in removeDeadBindings()405 NewSt.setStore(store); in makeWithStore()409 void ProgramState::setStore(const StoreRef &newStore) { in setStore() function in ProgramState
95 void setStore(const StoreRef &storeRef);