clang::ento::EnvironmentManager Member List

This is the complete list of members for clang::ento::EnvironmentManager, including all inherited members.

bindExpr(Environment Env, const EnvironmentEntry &E, SVal V, bool Invalidate)	clang::ento::EnvironmentManager
EnvironmentManager(llvm::BumpPtrAllocator &Allocator)	clang::ento::EnvironmentManager	inline
getInitialEnvironment()	clang::ento::EnvironmentManager	inline
removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef state)	clang::ento::EnvironmentManager