Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
SVF::SCCDetection< GraphType >::GNodeSCCInfo Class Reference

#include <SCC.h>

Public Member Functions

 GNodeSCCInfo ()
 
bool visited (void) const
 
void visited (bool v)
 
bool inSCC (void) const
 
void inSCC (bool v)
 
NodeID rep (void) const
 
void rep (NodeID n)
 
void addSubNodes (NodeID n)
 
NodeBSsubNodes ()
 
const NodeBSsubNodes () const
 

Private Attributes

bool _visited
 
bool _inSCC
 
NodeID _rep
 
NodeBS _subNodes
 

Detailed Description

template<class GraphType>
class SVF::SCCDetection< GraphType >::GNodeSCCInfo

Definition at line 70 of file SCC.h.

Constructor & Destructor Documentation

◆ GNodeSCCInfo()

template<class GraphType >
SVF::SCCDetection< GraphType >::GNodeSCCInfo::GNodeSCCInfo ( )
inline

Definition at line 73 of file SCC.h.

73: _visited(false), _inSCC(false), _rep(UINT_MAX) {}
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:76

Member Function Documentation

◆ addSubNodes()

template<class GraphType >
void SVF::SCCDetection< GraphType >::GNodeSCCInfo::addSubNodes ( NodeID  n)
inline

Definition at line 99 of file SCC.h.

100 {
101 _subNodes.set(n);
102 }
cJSON * n
Definition cJSON.cpp:2558
void set(unsigned Idx)

◆ inSCC() [1/2]

template<class GraphType >
void SVF::SCCDetection< GraphType >::GNodeSCCInfo::inSCC ( bool  v)
inline

Definition at line 87 of file SCC.h.

88 {
89 _inSCC = v;
90 }

◆ inSCC() [2/2]

template<class GraphType >
bool SVF::SCCDetection< GraphType >::GNodeSCCInfo::inSCC ( void  ) const
inline

Definition at line 83 of file SCC.h.

84 {
85 return _inSCC;
86 }

◆ rep() [1/2]

template<class GraphType >
void SVF::SCCDetection< GraphType >::GNodeSCCInfo::rep ( NodeID  n)
inline

Definition at line 95 of file SCC.h.

96 {
97 _rep = n;
98 }

◆ rep() [2/2]

template<class GraphType >
NodeID SVF::SCCDetection< GraphType >::GNodeSCCInfo::rep ( void  ) const
inline

Definition at line 91 of file SCC.h.

92 {
93 return _rep;
94 }

◆ subNodes() [1/2]

template<class GraphType >
NodeBS & SVF::SCCDetection< GraphType >::GNodeSCCInfo::subNodes ( )
inline

Definition at line 103 of file SCC.h.

104 {
105 return _subNodes;
106 }

◆ subNodes() [2/2]

template<class GraphType >
const NodeBS & SVF::SCCDetection< GraphType >::GNodeSCCInfo::subNodes ( ) const
inline

Definition at line 107 of file SCC.h.

108 {
109 return _subNodes;
110 }

◆ visited() [1/2]

template<class GraphType >
void SVF::SCCDetection< GraphType >::GNodeSCCInfo::visited ( bool  v)
inline

Definition at line 79 of file SCC.h.

80 {
81 _visited = v;
82 }

◆ visited() [2/2]

template<class GraphType >
bool SVF::SCCDetection< GraphType >::GNodeSCCInfo::visited ( void  ) const
inline

Definition at line 75 of file SCC.h.

76 {
77 return _visited;
78 }

Member Data Documentation

◆ _inSCC

template<class GraphType >
bool SVF::SCCDetection< GraphType >::GNodeSCCInfo::_inSCC
private

Definition at line 113 of file SCC.h.

◆ _rep

template<class GraphType >
NodeID SVF::SCCDetection< GraphType >::GNodeSCCInfo::_rep
private

Definition at line 114 of file SCC.h.

◆ _subNodes

template<class GraphType >
NodeBS SVF::SCCDetection< GraphType >::GNodeSCCInfo::_subNodes
private

Definition at line 115 of file SCC.h.

◆ _visited

template<class GraphType >
bool SVF::SCCDetection< GraphType >::GNodeSCCInfo::_visited
private

Definition at line 112 of file SCC.h.


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