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 __anonbbf3f4080111::AnalysisConsumer 179 case NAME##Model: CreateConstraintMgr = CREATEFN; break; in DigestAnalyzerOptions() 229 CreateStoreMgr, CreateConstraintMgr, in Initialize()