PolyBoRi
|
This class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes. More...
#include <CCuddGetNode.h>
Public Types | |
typedef CCuddNavigator | node_type |
Cudd's node pointer. | |
typedef Cudd | manager_type |
Cudd's node pointer. | |
typedef CTypes::idx_type | idx_type |
Type for indices. | |
typedef CCuddGetNode | self |
Get type of *this. | |
Public Member Functions | |
CCuddGetNode (const manager_type &) | |
Default constructor and construct from node pointer. | |
CCuddGetNode (const self &) | |
Copy Constructor. | |
~CCuddGetNode () | |
Destructor. | |
node_type | operator() (idx_type idx, const node_type &thennode, const node_type &elsenode) const |
The get node operation. | |
node_type | operator() (idx_type idx, const node_type &oldnode, const node_type &thennode, const node_type &elsenode) const |
Variant, which reuses oldnode, if possible. | |
node_type | operator() (const node_type &oldnode) const |
Increment reference count only. | |
Protected Attributes | |
const manager_type & | mgr |
This class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes.
Type for indices.
typedef Cudd polybori::CCuddGetNode::manager_type |
Cudd's node pointer.
Cudd's node pointer.
Get type of *this.
polybori::CCuddGetNode::CCuddGetNode | ( | const manager_type & | ) |
Default constructor and construct from node pointer.
polybori::CCuddGetNode::CCuddGetNode | ( | const self & | ) |
Copy Constructor.
CCuddGetNode::~CCuddGetNode | ( | ) |
Destructor.
References PBORI_TRACE_FUNC.
node_type polybori::CCuddGetNode::operator() | ( | idx_type | idx, |
const node_type & | thennode, | ||
const node_type & | elsenode | ||
) | const |
The get node operation.
Increment reference count only.
node_type polybori::CCuddGetNode::operator() | ( | idx_type | idx, |
const node_type & | oldnode, | ||
const node_type & | thennode, | ||
const node_type & | elsenode | ||
) | const |
Variant, which reuses oldnode, if possible.
const manager_type& polybori::CCuddGetNode::mgr [protected] |