clang::ento::ProgramStateManager Member List

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

add(ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)	clang::ento::ProgramStateManager	inline
addGDM(ProgramStateRef St, void *Key, void *Data)	clang::ento::ProgramStateManager
ArrayToPointer(Loc Array, QualType ElementTy)	clang::ento::ProgramStateManager	inline
FindGDMContext(void *index, void *(*CreateContext)(llvm::BumpPtrAllocator &), void(*DeleteContext)(void *))	clang::ento::ProgramStateManager
get_context()	clang::ento::ProgramStateManager	inline
getAllocator()	clang::ento::ProgramStateManager	inline
getBasicVals()	clang::ento::ProgramStateManager	inline
getCallEventManager()	clang::ento::ProgramStateManager	inline
getConstraintManager()	clang::ento::ProgramStateManager	inline
getConstraintManager() const	clang::ento::ProgramStateManager	inline
getContext()	clang::ento::ProgramStateManager	inline
getContext() const	clang::ento::ProgramStateManager	inline
getInitialState(const LocationContext *InitLoc)	clang::ento::ProgramStateManager
getOwningEngine()	clang::ento::ProgramStateManager	inline
getPersistentState(ProgramState &Impl)	clang::ento::ProgramStateManager
getPersistentStateWithGDM(ProgramStateRef FromState, ProgramStateRef GDMState)	clang::ento::ProgramStateManager
getRegionManager()	clang::ento::ProgramStateManager	inline
getRegionManager() const	clang::ento::ProgramStateManager	inline
getStoreManager()	clang::ento::ProgramStateManager	inline
getStoreManager() const	clang::ento::ProgramStateManager	inline
getSValBuilder()	clang::ento::ProgramStateManager	inline
getSValBuilder() const	clang::ento::ProgramStateManager	inline
getSymbolManager()	clang::ento::ProgramStateManager	inline
getSymbolManager() const	clang::ento::ProgramStateManager	inline
haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const	clang::ento::ProgramStateManager	inline
haveEqualEnvironments(ProgramStateRef S1, ProgramStateRef S2) const	clang::ento::ProgramStateManager	inline
haveEqualStores(ProgramStateRef S1, ProgramStateRef S2) const	clang::ento::ProgramStateManager	inline
iterBindings(ProgramStateRef state, StoreManager::BindingsHandler &F)	clang::ento::ProgramStateManager	inline
ProgramState class	clang::ento::ProgramStateManager	friend
ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, ExprEngine *expreng)	clang::ento::ProgramStateManager
ProgramStateRelease(const ProgramState *state)	clang::ento::ProgramStateManager	friend
remove(ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)	clang::ento::ProgramStateManager	inline
remove(ProgramStateRef st)	clang::ento::ProgramStateManager	inline
removeDeadBindingsFromEnvironmentAndStore(ProgramStateRef St, const StackFrameContext *LCtx, SymbolReaper &SymReaper)	clang::ento::ProgramStateManager
removeGDM(ProgramStateRef state, void *Key)	clang::ento::ProgramStateManager
set(ProgramStateRef st, typename ProgramStateTrait< T >::data_type D)	clang::ento::ProgramStateManager	inline
set(ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type V, typename ProgramStateTrait< T >::context_type C)	clang::ento::ProgramStateManager	inline
~ProgramStateManager()	clang::ento::ProgramStateManager