Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
SVF::WTOComponentVisitor< GraphT > Class Template Referenceabstract

#include <WTO.h>

Inheritance diagram for SVF::WTOComponentVisitor< GraphT >:
SVF::WTO< GraphT >::WTOCycleDepthBuilder

Public Types

typedef WTONode< GraphTWTONodeT
 
typedef WTOCycle< GraphTWTOCycleT
 

Public Member Functions

 WTOComponentVisitor ()=default
 Default constructor.
 
 WTOComponentVisitor (const WTOComponentVisitor &) noexcept=default
 Copy constructor.
 
 WTOComponentVisitor (WTOComponentVisitor &&) noexcept=default
 Move constructor.
 
WTOComponentVisitoroperator= (const WTOComponentVisitor &) noexcept=default
 Copy assignment operator.
 
WTOComponentVisitoroperator= (WTOComponentVisitor &&) noexcept=default
 Move assignment operator.
 
virtual void visit (const WTONodeT &)=0
 Visit the given node.
 
virtual void visit (const WTOCycleT &)=0
 Visit the given cycle.
 
virtual ~WTOComponentVisitor ()=default
 Destructor.
 

Detailed Description

template<typename GraphT>
class SVF::WTOComponentVisitor< GraphT >

Weak topological order (WTO) visitor

Definition at line 479 of file WTO.h.

Member Typedef Documentation

◆ WTOCycleT

Definition at line 483 of file WTO.h.

◆ WTONodeT

Definition at line 482 of file WTO.h.

Constructor & Destructor Documentation

◆ WTOComponentVisitor() [1/3]

template<typename GraphT >
SVF::WTOComponentVisitor< GraphT >::WTOComponentVisitor ( )
default

Default constructor.

◆ WTOComponentVisitor() [2/3]

template<typename GraphT >
SVF::WTOComponentVisitor< GraphT >::WTOComponentVisitor ( const WTOComponentVisitor< GraphT > &  )
defaultnoexcept

Copy constructor.

◆ WTOComponentVisitor() [3/3]

template<typename GraphT >
SVF::WTOComponentVisitor< GraphT >::WTOComponentVisitor ( WTOComponentVisitor< GraphT > &&  )
defaultnoexcept

Move constructor.

◆ ~WTOComponentVisitor()

Destructor.

Member Function Documentation

◆ operator=() [1/2]

Copy assignment operator.

◆ operator=() [2/2]

Move assignment operator.

◆ visit() [1/2]

template<typename GraphT >
virtual void SVF::WTOComponentVisitor< GraphT >::visit ( const WTOCycleT )
pure virtual

Visit the given cycle.

Implemented in SVF::WTO< GraphT >::WTOCycleDepthBuilder.

◆ visit() [2/2]

template<typename GraphT >
virtual void SVF::WTOComponentVisitor< GraphT >::visit ( const WTONodeT )
pure virtual

Visit the given node.

Implemented in SVF::WTO< GraphT >::WTOCycleDepthBuilder.


The documentation for this class was generated from the following file: