Searched refs:StoreManagerCreator (Results 1 – 5 of 5) sorted by relevance
41 StoreManagerCreator CreateStoreMgr;51 StoreManagerCreator storemgr,66 StoreManagerCreator getStoreManagerCreator() { in getStoreManagerCreator()
45 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)( typedef526 StoreManagerCreator CreateStoreManager,
19 StoreManagerCreator storemgr, in AnalysisManager()
77 StoreManagerCreator CreateSMgr, in ProgramStateManager()
186 StoreManagerCreator CreateStoreMgr;