Searched refs:ConstraintManagerCreator (Results 1 – 5 of 5) sorted by relevance
40 ConstraintManagerCreator CreateConstraintMgr;51 ConstraintManagerCreator constraintmgr, 73 ConstraintManagerCreator getConstraintManagerCreator() { in getConstraintManagerCreator()
42 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&, typedef471 ConstraintManagerCreator CreateConstraintManager,
21 ConstraintManagerCreator constraintmgr, in AnalysisManager()
72 ConstraintManagerCreator CreateCMgr, in ProgramStateManager()
172 ConstraintManagerCreator CreateConstraintMgr;