17 #ifndef polybori_diagram_CNodeCounter_h_
18 #define polybori_diagram_CNodeCounter_h_
29 template<
class NaviType>
43 if (navi.isConstant() || m_visited.count(navi))
46 m_visited.insert(navi);
47 return (1 +
operator()(navi.thenBranch()) +
operator()(navi.elseBranch()));
51 std::set<navigator> m_visited;
NaviType navigator
Definition: CNodeCounter.h:34
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
CNodeCounter(const self &rhs)
Definition: CNodeCounter.h:38
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
size_type operator()(navigator navi)
Definition: CNodeCounter.h:42
NaviType::size_type size_type
Definition: CNodeCounter.h:35
~CNodeCounter()
Definition: CNodeCounter.h:40
CNodeCounter()
Definition: CNodeCounter.h:37
This class defines CNodeCounter.
Definition: CNodeCounter.h:30