PolyBoRi
CCuddGetNode.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
33 //*****************************************************************************
34 
35 #include <iterator>
36 
37 // include basic definitions
38 #include "pbori_defs.h"
39 
40 
41 
42 // get navigator type for cudd zdds
43 #include "CCuddNavigator.h"
44 
45 #ifndef CCuddGetNode_h_
46 #define CCuddGetNode_h_
47 
49 
50 template <class ManagerType>
51 class CDDManager;
52 
59 class CCuddGetNode {
60 
61 public:
64 
66  typedef Cudd manager_type;
67 
70 
72  typedef CCuddGetNode self;
73 
75  CCuddGetNode(const manager_type&);
76 
78  CCuddGetNode(const self&);
79 
81  ~CCuddGetNode();
82 
84  node_type operator()(idx_type idx,
85  const node_type& thennode,
86  const node_type& elsenode) const;
87 
89  node_type operator()(idx_type idx, const node_type& oldnode,
90  const node_type& thennode,
91  const node_type& elsenode) const;
92 
94  node_type operator()(const node_type& oldnode) const;
95 
96 protected:
97  const manager_type& mgr;
98 };
99 
101 
102 #endif