Lines Matching refs:Env
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
48 Env(env),
58 Env(RHS.Env),
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
296 if (NewEnv == Env)
300 NewSt.Env = NewEnv;
429 Env.print(Out, NL, Sep);