Searched defs:RegionStoreManager (Results 1 – 1 of 1) sorted by relevance
316 class RegionStoreManager : public StoreManager { class346 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager() function in __anonf243ef2f0511::RegionStoreManager