Searched refs:CreateConstraintMgr (Results 1 – 3 of 3) sorted by relevance
42 ConstraintManagerCreator CreateConstraintMgr; variable75 return CreateConstraintMgr; in getConstraintManagerCreator()
42 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr), in AnalysisManager()
187 ConstraintManagerCreator CreateConstraintMgr; member in __anonde997f250211::AnalysisConsumer257 case NAME##Model: CreateConstraintMgr = CREATEFN; break; in DigestAnalyzerOptions()301 CreateConstraintMgr, checkerMgr.get(), *Opts, Injector); in Initialize()