SVF::WTO< GraphT > Member List

This is the complete list of members for SVF::WTO< GraphT >, including all inherited members.

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