CFOptimalRefinementConstants::NodeEqual Struct Reference

#include <CFOptimalRefinement.h>

Public Member Functions
bool	operator() (const GNode &i1, const GNode &i2) const

Detailed Description

Definition at line 39 of file CFOptimalRefinement.h.

Member Function Documentation

operator()()

bool CFOptimalRefinementConstants::NodeEqual::operator() ( const GNode &  i1, const GNode &  i2  ) const

inline

Definition at line 40 of file CFOptimalRefinement.h.

References node::getUniqueID(), and CFOptimalRefinementConstants::GNode::n.

---

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

• /home/sturtevant/nightly/hog2/abstractionalgorithms/CFOptimalRefinement.h