SVF::ICFGWTO Member List

This is the complete list of members for SVF::ICFGWTO, including all inherited members.

_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::ICFGWTO
begin() const	SVF::WTO< ICFG >	inline
buildNodeToDepth()	SVF::WTO< ICFG >	inlineprotected
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::ICFGWTO	inline
WTO< ICFG >::forEachSuccessor(const NodeT *node, std::function< void(const NodeT *)> func) const	SVF::WTO< ICFG >	inlineprotectedvirtual
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
ICFGWTO(ICFG *graph, const ICFGNode *node)	SVF::ICFGWTO	inlineexplicit
ICFGWTONode typedef	SVF::ICFGWTO
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 >
~ICFGWTO()	SVF::ICFGWTO	inlinevirtual
~WTO()	SVF::WTO< ICFG >	inline