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