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