#include <CFLSolver.h>
Definition at line 299 of file CFLSolver.h.
◆ TreeNode()
SVF::POCRHybridSolver::TreeNode::TreeNode |
( |
NodeID |
nId | ) |
|
|
inline |
◆ ~TreeNode()
SVF::POCRHybridSolver::TreeNode::~TreeNode |
( |
| ) |
|
|
inline |
◆ operator<()
bool SVF::POCRHybridSolver::TreeNode::operator< |
( |
const TreeNode & |
rhs | ) |
const |
|
inline |
◆ operator==()
bool SVF::POCRHybridSolver::TreeNode::operator== |
( |
const TreeNode & |
rhs | ) |
const |
|
inline |
◆ children
std::unordered_set<TreeNode*> SVF::POCRHybridSolver::TreeNode::children |
◆ id
NodeID SVF::POCRHybridSolver::TreeNode::id |
The documentation for this struct was generated from the following file: