Searched refs:CreateConstraintMgr (Results 1 – 3 of 3) sorted by relevance
42 ConstraintManagerCreator CreateConstraintMgr; variable77 return CreateConstraintMgr; in getConstraintManagerCreator()
37 CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr), in AnalysisManager()
176 ConstraintManagerCreator CreateConstraintMgr; member in __anonb76b1b350211::AnalysisConsumer241 case NAME##Model: CreateConstraintMgr = CREATEFN; break; in DigestAnalyzerOptions()296 CreateStoreMgr, CreateConstraintMgr, checkerMgr.get(), *Opts, Injector); in Initialize()