Lines Matching defs:Mgr
40 ProgramStateManager &Mgr = s->getStateManager();
41 Mgr.StateSet.RemoveNode(s);
43 Mgr.freeStates.push_back(s);
48 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
50 : stateMgr(mgr),
135 ProgramStateManager &Mgr = getStateManager();
136 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
139 if (MR && Mgr.getOwningEngine())
140 return Mgr.getOwningEngine()->processRegionChange(newState, MR);
146 ProgramStateManager &Mgr = getStateManager();
148 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
150 return Mgr.getOwningEngine() ?
151 Mgr.getOwningEngine()->processRegionChange(new_state, R) :
175 ProgramStateManager &Mgr = getStateManager();
176 SubEngine* Eng = Mgr.getOwningEngine();
181 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
188 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
405 ProgramStateManager &Mgr = getStateManager();
406 Mgr.getStoreManager().print(getStore(), Out, NL, Sep);
412 Mgr.getConstraintManager().print(this, Out, NL, Sep);
415 Mgr.getOwningEngine()->printState(Out, this, NL, Sep);
