Lines Matching defs:Env
87 Environment Env; // Maps a Stmt to its current SVal.
100 ProgramState(ProgramStateManager *mgr, const Environment& env,
119 const Environment& getEnvironment() const { return Env; }
135 V->Env.Profile(ID);
558 return S1->Env == S2->Env;
740 return Env.getSVal(EnvironmentEntry(Ex, LCtx),
