Home | History | Annotate | Download | only in Core

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);