Searched refs:StoreManagerCreator (Results 1 – 5 of 5) sorted by relevance
41 StoreManagerCreator CreateStoreMgr;52 StoreManagerCreator storemgr,68 StoreManagerCreator getStoreManagerCreator() { in getStoreManagerCreator()
45 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)( typedef479 StoreManagerCreator CreateStoreManager,
20 StoreManagerCreator storemgr, in AnalysisManager()
71 StoreManagerCreator CreateSMgr, in ProgramStateManager()
175 StoreManagerCreator CreateStoreMgr;