SVF::POCRHybridSolver::TreeNode Struct Reference

#include <CFLSolver.h>

Public Member Functions
	TreeNode (NodeID nId)
	~TreeNode ()
bool	operator== (const TreeNode &rhs) const
bool	operator< (const TreeNode &rhs) const

Public Attributes
NodeID	id
std::unordered_set< TreeNode * >	children

Detailed Description

Definition at line 299 of file CFLSolver.h.

Constructor & Destructor Documentation

TreeNode()

SVF::POCRHybridSolver::TreeNode::TreeNode ( NodeID  nId )

inline

Definition at line 304 of file CFLSolver.h.

                             : id(nId)
        {}

~TreeNode()

SVF::POCRHybridSolver::TreeNode::~TreeNode ( )

inline

Definition at line 307 of file CFLSolver.h.

        {
        }

Member Function Documentation

operator<()

bool SVF::POCRHybridSolver::TreeNode::operator< ( const TreeNode &  rhs ) const

inline

Definition at line 316 of file CFLSolver.h.

        {
            return id < rhs.id;
        }

operator==()

bool SVF::POCRHybridSolver::TreeNode::operator== ( const TreeNode &  rhs ) const

inline

Definition at line 311 of file CFLSolver.h.

        {
            return id == rhs.id;
        }

Member Data Documentation

children

std::unordered_set<TreeNode*> SVF::POCRHybridSolver::TreeNode::children

Definition at line 302 of file CFLSolver.h.

id

NodeID SVF::POCRHybridSolver::TreeNode::id

Definition at line 301 of file CFLSolver.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/CFL/CFLSolver.h