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 300 of file CFLSolver.h.

Constructor & Destructor Documentation

TreeNode()

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

inline

Definition at line 305 of file CFLSolver.h.

                             : id(nId)
        {}

~TreeNode()

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

inline

Definition at line 308 of file CFLSolver.h.

        {
        }

Member Function Documentation

operator<()

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

inline

Definition at line 317 of file CFLSolver.h.

        {
            return id < rhs.id;
        }

operator==()

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

inline

Definition at line 312 of file CFLSolver.h.

        {
            return id == rhs.id;
        }

Member Data Documentation

children

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

Definition at line 303 of file CFLSolver.h.

id

NodeID SVF::POCRHybridSolver::TreeNode::id

Definition at line 302 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