Searched refs:ConstraintManagerCreator (Results 1 – 5 of 5) sorted by relevance
42 ConstraintManagerCreator CreateConstraintMgr;53 ConstraintManagerCreator constraintmgr, 76 ConstraintManagerCreator getConstraintManagerCreator() { in getConstraintManagerCreator()
43 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)( typedef480 ConstraintManagerCreator CreateConstraintManager,
21 ConstraintManagerCreator constraintmgr, in AnalysisManager()
72 ConstraintManagerCreator CreateCMgr, in ProgramStateManager()
176 ConstraintManagerCreator CreateConstraintMgr;