Searched defs:RegionStoreManager (Results 1 – 1 of 1) sorted by relevance
331 class RegionStoreManager : public StoreManager { class369 RegionStoreManager(ProgramStateManager &mgr) in RegionStoreManager() function in __anon943ea7f70411::RegionStoreManager