Lines Matching defs:ProgramStateManager
42 ProgramStateManager &, ExprEngine *);
44 ProgramStateManager &);
80 friend class ProgramStateManager;
84 ProgramStateManager *stateMgr;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
109 /// Return the ProgramStateManager associated with this state.
110 ProgramStateManager &getStateManager() const {
156 // are managed using the ConstraintManager associated with a ProgramStateManager.
460 // ProgramStateManager - Factory object for ProgramStates.
463 class ProgramStateManager {
496 ProgramStateManager(ASTContext &Ctx,
502 ~ProgramStateManager();
584 // ProgramStateManager and ProgramState support a "generic data map" that allows