Static Value-Flow Analysis
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 68 of file SCC.h.

Constructor & Destructor Documentation

◆ GNodeSCCInfo()

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

Definition at line 71 of file SCC.h.

71 : _visited(false), _inSCC(false), _rep(UINT_MAX) {}

Member Function Documentation

◆ addSubNodes()

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

Definition at line 97 of file SCC.h.

98  {
99  _subNodes.set(n);
100  }
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 85 of file SCC.h.

86  {
87  _inSCC = v;
88  }

◆ inSCC() [2/2]

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

Definition at line 81 of file SCC.h.

82  {
83  return _inSCC;
84  }

◆ rep() [1/2]

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

Definition at line 93 of file SCC.h.

94  {
95  _rep = n;
96  }

◆ rep() [2/2]

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

Definition at line 89 of file SCC.h.

90  {
91  return _rep;
92  }

◆ subNodes() [1/2]

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

Definition at line 101 of file SCC.h.

102  {
103  return _subNodes;
104  }

◆ subNodes() [2/2]

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

Definition at line 105 of file SCC.h.

106  {
107  return _subNodes;
108  }

◆ visited() [1/2]

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

Definition at line 77 of file SCC.h.

78  {
79  _visited = v;
80  }

◆ visited() [2/2]

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

Definition at line 73 of file SCC.h.

74  {
75  return _visited;
76  }

Member Data Documentation

◆ _inSCC

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

Definition at line 111 of file SCC.h.

◆ _rep

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

Definition at line 112 of file SCC.h.

◆ _subNodes

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

Definition at line 113 of file SCC.h.

◆ _visited

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

Definition at line 110 of file SCC.h.


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