Lines Matching defs:Mgr
37 ProgramStateManager &Mgr = s->getStateManager();
38 Mgr.StateSet.RemoveNode(s);
40 Mgr.freeStates.push_back(s);
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
47 : stateMgr(mgr),
115 ProgramStateManager &Mgr = getStateManager();
116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
119 if (MR && Mgr.getOwningEngine() && notifyChanges)
120 return Mgr.getOwningEngine()->processRegionChange(newState, MR);
126 ProgramStateManager &Mgr = getStateManager();
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
130 return Mgr.getOwningEngine() ?
131 Mgr.getOwningEngine()->processRegionChange(new_state, R) :
176 ProgramStateManager &Mgr = getStateManager();
177 SubEngine* Eng = Mgr.getOwningEngine();
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
425 ProgramStateManager &Mgr = getStateManager();
426 Mgr.getStoreManager().print(getStore(), Out, NL, Sep);
432 Mgr.getConstraintManager().print(this, Out, NL, Sep);
435 Mgr.getOwningEngine()->printState(Out, this, NL, Sep);
