| 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 |
| 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 |
| 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 | clang::ento::ProgramStateManager | friend |
| ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, ExprEngine *expreng) | clang::ento::ProgramStateManager | |
| ProgramStateRelease | 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 | |
