Lines Matching defs:store
86 Store store; // Maps a location to its current value.
92 ProgramStateRef makeWithStore(const StoreRef &store) const;
119 /// Return the store associated with this state. The store
121 Store getStore() const { return store; }
134 ID.AddPointer(V->store);
201 // Binding and retrieving values to/from the environment and symbolic store.
220 /// cleared from the store.
542 return S1->store == S2->store;