Searched refs:CreateSMgr (Results 1 – 1 of 1) sorted by relevance
76 StoreManagerCreator CreateSMgr, in ProgramStateManager() argument83 StoreMgr = (*CreateSMgr)(*this); in ProgramStateManager()