Searched refs:constraintmgr (Results 1 – 2 of 2) sorted by relevance
19 ConstraintManagerCreator constraintmgr, in AnalysisManager() argument43 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr), in AnalysisManager()
52 ConstraintManagerCreator constraintmgr,