_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 |