Searched refs:ConstraintManagerCreator (Results 1 – 5 of 5) sorted by relevance
40 ConstraintManagerCreator CreateConstraintMgr;50 ConstraintManagerCreator constraintmgr,72 ConstraintManagerCreator getConstraintManagerCreator() { in getConstraintManagerCreator()
41 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)( typedef491 ConstraintManagerCreator CreateConstraintManager,
19 ConstraintManagerCreator constraintmgr, in AnalysisManager()
77 ConstraintManagerCreator CreateCMgr, in ProgramStateManager()
213 ConstraintManagerCreator CreateConstraintMgr;