Searched refs:StoreManagerCreator (Results 1 – 5 of 5) sorted by relevance
41 StoreManagerCreator CreateStoreMgr;51 StoreManagerCreator storemgr,68 StoreManagerCreator getStoreManagerCreator() { in getStoreManagerCreator()
43 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)( typedef497 StoreManagerCreator CreateStoreManager,
18 StoreManagerCreator storemgr, in AnalysisManager()
76 StoreManagerCreator CreateSMgr, in ProgramStateManager()
107 StoreManagerCreator CreateStoreMgr;