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 & | man | ) |
Default constructor and construct from node pointer.
References PBORI_TRACE_FUNC.
polybori::CCuddGetNode::CCuddGetNode | ( | const self & | rhs | ) |
Copy Constructor.
References PBORI_TRACE_FUNC.
Destructor.
References PBORI_TRACE_FUNC.
CCuddGetNode::node_type polybori::CCuddGetNode::operator() | ( | idx_type | idx, |
const node_type & | thennode, | ||
const node_type & | elsenode | ||
) | const |
The get node operation.
References mgr, and PBORI_TRACE_FUNC.
CCuddGetNode::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.
References PBORI_TRACE_FUNC.
CCuddGetNode::node_type polybori::CCuddGetNode::operator() | ( | const node_type & | oldnode | ) | const |
Increment reference count only.
References PBORI_TRACE_FUNC.
const manager_type& polybori::CCuddGetNode::mgr [protected] |
Referenced by operator()().