| addEndOfPath(ExplodedNode *V) | clang::ento::ExplodedGraph | inline |
| addRoot(ExplodedNode *V) | clang::ento::ExplodedGraph | inline |
| AllNodesTy typedef | clang::ento::ExplodedGraph | |
| BVC | clang::ento::ExplodedGraph | protected |
| ChangedNodes | clang::ento::ExplodedGraph | protected |
| const_eop_iterator typedef | clang::ento::ExplodedGraph | |
| const_node_iterator typedef | clang::ento::ExplodedGraph | |
| const_roots_iterator typedef | clang::ento::ExplodedGraph | |
| CoreEngine | clang::ento::ExplodedGraph | friend |
| createUncachedNode(const ProgramPoint &L, ProgramStateRef State, int64_t Id, bool IsSink=false) | clang::ento::ExplodedGraph | |
| empty() const | clang::ento::ExplodedGraph | inline |
| enableNodeReclamation(unsigned Interval) | clang::ento::ExplodedGraph | inline |
| EndNodes | clang::ento::ExplodedGraph | protected |
| eop_begin() | clang::ento::ExplodedGraph | inline |
| eop_begin() const | clang::ento::ExplodedGraph | inline |
| eop_end() | clang::ento::ExplodedGraph | inline |
| eop_end() const | clang::ento::ExplodedGraph | inline |
| eop_iterator typedef | clang::ento::ExplodedGraph | |
| ExplodedGraph() | clang::ento::ExplodedGraph | |
| FreeNodes | clang::ento::ExplodedGraph | protected |
| getAllocator() | clang::ento::ExplodedGraph | inline |
| getNode(const ProgramPoint &L, ProgramStateRef State, bool IsSink=false, bool *IsNew=nullptr) | clang::ento::ExplodedGraph | |
| getNodeAllocator() | clang::ento::ExplodedGraph | inline |
| isInterestingLValueExpr(const Expr *Ex) | clang::ento::ExplodedGraph | static |
| MakeEmptyGraph() const | clang::ento::ExplodedGraph | inline |
| node_iterator typedef | clang::ento::ExplodedGraph | |
| NodeMap typedef | clang::ento::ExplodedGraph | |
| nodes() | clang::ento::ExplodedGraph | inline |
| nodes() const | clang::ento::ExplodedGraph | inline |
| Nodes | clang::ento::ExplodedGraph | protected |
| NodeTy typedef | clang::ento::ExplodedGraph | |
| NodeVector typedef | clang::ento::ExplodedGraph | protected |
| num_eops() const | clang::ento::ExplodedGraph | inline |
| num_roots() const | clang::ento::ExplodedGraph | inline |
| NumNodes | clang::ento::ExplodedGraph | protected |
| ReclaimCounter | clang::ento::ExplodedGraph | protected |
| ReclaimNodeInterval | clang::ento::ExplodedGraph | protected |
| reclaimRecentlyAllocatedNodes() | clang::ento::ExplodedGraph | |
| reserve(unsigned NodeCount) | clang::ento::ExplodedGraph | inline |
| Roots | clang::ento::ExplodedGraph | protected |
| roots_begin() | clang::ento::ExplodedGraph | inline |
| roots_begin() const | clang::ento::ExplodedGraph | inline |
| roots_end() | clang::ento::ExplodedGraph | inline |
| roots_end() const | clang::ento::ExplodedGraph | inline |
| roots_iterator typedef | clang::ento::ExplodedGraph | |
| size() const | clang::ento::ExplodedGraph | inline |
| trim(ArrayRef< const NodeTy * > Nodes, InterExplodedGraphMap *ForwardMap=nullptr, InterExplodedGraphMap *InverseMap=nullptr) const | clang::ento::ExplodedGraph | |
| ~ExplodedGraph() | clang::ento::ExplodedGraph | |
