Searched refs:CheckerMgr (Results 1 – 3 of 3) sorted by relevance
44 CheckerManager *CheckerMgr; variable80 CheckerManager *getCheckerManager() const { return CheckerMgr; } in getCheckerManager()
43 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr), in AnalysisManager()
181 void initializeManager(CheckerManager &CheckerMgr) const;