PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
polybori
include
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
48
BEGIN_NAMESPACE_PBORI
49
50
template
<
class
ManagerType>
51
class
CDDManager
;
52
59
class
CCuddGetNode
{
60
61
public
:
63
typedef
CCuddNavigator
node_type
;
64
66
typedef
Cudd
manager_type
;
67
69
typedef
CTypes::idx_type
idx_type
;
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
100
END_NAMESPACE_PBORI
101
102
#endif
Generated on Tue Jun 25 2013 08:12:11 for PolyBoRi by
1.8.1.2