| _allComponents | SVF::WTO< ICFG > | protected |
| _components | SVF::WTO< ICFG > | protected |
| _entry | SVF::WTO< ICFG > | protected |
| _graph | SVF::WTO< ICFG > | protected |
| _nodeToCDN | SVF::WTO< ICFG > | protected |
| _nodeToDepth | SVF::WTO< ICFG > | protected |
| _num | SVF::WTO< ICFG > | protected |
| _stack | SVF::WTO< ICFG > | protected |
| accept(WTOComponentVisitor< ICFG > &v) | SVF::WTO< ICFG > | inline |
| Base typedef | SVF::ICFGIWTO | |
| begin() const | SVF::WTO< ICFG > | inline |
| buildNodeToDepth() | SVF::WTO< ICFG > | inlineprotected |
| cg | SVF::ICFGIWTO | |
| component(const NodeT *node) | SVF::WTO< ICFG > | inlineprotectedvirtual |
| cycleDepth(const NodeT *n) const | SVF::WTO< ICFG > | inline |
| CycleDepthNumber typedef | SVF::WTO< ICFG > | protected |
| EdgeT typedef | SVF::WTO< ICFG > | |
| end() const | SVF::WTO< ICFG > | inline |
| forEachSuccessor(const ICFGNode *node, std::function< void(const ICFGNode *)> func) const override | SVF::ICFGIWTO | inline |
| WTO< ICFG >::forEachSuccessor(const NodeT *node, std::function< void(const NodeT *)> func) const | SVF::WTO< ICFG > | inlineprotectedvirtual |
| funcPar | SVF::ICFGIWTO | |
| getCDN(const NodeT *n) const | SVF::WTO< ICFG > | inlineprotected |
| getWTOComponents() const | SVF::WTO< ICFG > | inline |
| GraphTWTOCycleDepth typedef | SVF::WTO< ICFG > | |
| headBegin() const | SVF::WTO< ICFG > | inline |
| headEnd() const | SVF::WTO< ICFG > | inline |
| headRefToCycle | SVF::WTO< ICFG > | protected |
| ICFGIWTO(ICFG *graph, const ICFGNode *node, NodeBS &funcPar, CallGraph *cg) | SVF::ICFGIWTO | inlineexplicit |
| ICFGWTO(ICFG *graph, const ICFGNode *node) | SVF::ICFGWTO | inlineexplicit |
| ICFGWTONode typedef | SVF::ICFGIWTO | |
| in_cycleDepth_table(const NodeT *n) const | SVF::WTO< ICFG > | inline |
| init() | SVF::WTO< ICFG > | inline |
| isHead(const NodeT *node) const | SVF::WTO< ICFG > | inline |
| Iterator typedef | SVF::WTO< ICFG > | |
| newCycle(const WTONodeT *node, const WTOComponentRefList &partition) | SVF::WTO< ICFG > | inlineprotected |
| newNode(const NodeT *node) | SVF::WTO< ICFG > | inlineprotected |
| NodeRefList typedef | SVF::WTO< ICFG > | |
| NodeRefToCycleDepthNumber typedef | SVF::WTO< ICFG > | protected |
| NodeRefTONodeRefListMap typedef | SVF::WTO< ICFG > | protected |
| NodeRefToWTOCycleDepthPtr typedef | SVF::WTO< ICFG > | protected |
| NodeRefToWTOCycleMap typedef | SVF::WTO< ICFG > | protected |
| NodeT typedef | SVF::WTO< ICFG > | |
| operator=(const WTO &other)=default | SVF::WTO< ICFG > | |
| operator=(WTO &&other)=default | SVF::WTO< ICFG > | |
| pop() | SVF::WTO< ICFG > | inlineprotected |
| push(const NodeT *n) | SVF::WTO< ICFG > | inlineprotected |
| setCDN(const NodeT *n, const CycleDepthNumber &dfn) | SVF::WTO< ICFG > | inlineprotected |
| Stack typedef | SVF::WTO< ICFG > | protected |
| toString() const | SVF::WTO< ICFG > | inline |
| visit(const NodeT *node, WTOComponentRefList &partition) | SVF::WTO< ICFG > | inlineprotectedvirtual |
| WTO(ICFG *graph, const NodeT *entry) | SVF::WTO< ICFG > | inlineexplicit |
| WTO(const WTO &other)=default | SVF::WTO< ICFG > | |
| WTO(WTO &&other)=default | SVF::WTO< ICFG > | |
| WTOComponentPtr typedef | SVF::WTO< ICFG > | protected |
| WTOComponentRefList typedef | SVF::WTO< ICFG > | protected |
| WTOComponentRefSet typedef | SVF::WTO< ICFG > | protected |
| WTOComponentT typedef | SVF::WTO< ICFG > | |
| WTOCycleDepthPtr typedef | SVF::WTO< ICFG > | protected |
| WTOCycleT typedef | SVF::WTO< ICFG > | |
| WTONodeT typedef | SVF::WTO< ICFG > | |
| ~ICFGIWTO() | SVF::ICFGIWTO | inlinevirtual |
| ~ICFGWTO() | SVF::ICFGWTO | inlinevirtual |
| ~WTO() | SVF::WTO< ICFG > | inline |
