Searched refs:CreateSMgr (Results 1 – 1 of 1) sorted by relevance
71 StoreManagerCreator CreateSMgr, in ProgramStateManager() argument78 StoreMgr.reset((*CreateSMgr)(*this)); in ProgramStateManager()