Searched refs:CreateConstraintMgr (Results 1 – 3 of 3) sorted by relevance
42 ConstraintManagerCreator CreateConstraintMgr; variable77 return CreateConstraintMgr; in getConstraintManagerCreator()
43 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr), in AnalysisManager()
108 ConstraintManagerCreator CreateConstraintMgr; member in __anond65710f20111::AnalysisConsumer179 case NAME##Model: CreateConstraintMgr = CREATEFN; break; in DigestAnalyzerOptions()229 CreateStoreMgr, CreateConstraintMgr, in Initialize()