Searched refs:CreateStoreMgr (Results 1 – 3 of 3) sorted by relevance
41 StoreManagerCreator CreateStoreMgr; variable69 return CreateStoreMgr; in getStoreManagerCreator()
37 CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr), in AnalysisManager()
175 StoreManagerCreator CreateStoreMgr; member in __anonb76b1b350211::AnalysisConsumer233 case NAME##Model: CreateStoreMgr = CREATEFN; break; in DigestAnalyzerOptions()296 CreateStoreMgr, CreateConstraintMgr, checkerMgr.get(), *Opts, Injector); in Initialize()