Searched refs:CreateCMgr (Results 1 – 1 of 1) sorted by relevance
74 ConstraintManagerCreator CreateCMgr, in ProgramStateManager() argument81 ConstraintMgr = (*CreateCMgr)(*this, ExprEng); in ProgramStateManager()