Searched refs:CreateCMgr (Results 1 – 1 of 1) sorted by relevance
72 ConstraintManagerCreator CreateCMgr, in ProgramStateManager() argument79 ConstraintMgr.reset((*CreateCMgr)(*this, SubEng)); in ProgramStateManager()