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 CCuddGetNode::manager_type |
Cudd's node pointer.
Cudd's node pointer.
typedef CCuddGetNode CCuddGetNode::self |
Get type of *this.
BEGIN_NAMESPACE_PBORI CCuddGetNode::CCuddGetNode | ( | const manager_type & | man | ) |
Default constructor and construct from node pointer.
References PBORI_TRACE_FUNC.
CCuddGetNode::CCuddGetNode | ( | const self & | rhs | ) |
Copy Constructor.
References PBORI_TRACE_FUNC.
CCuddGetNode::~CCuddGetNode | ( | ) |
Destructor.
References PBORI_TRACE_FUNC.
CCuddGetNode::node_type CCuddGetNode::operator() | ( | const node_type & | oldnode | ) | const |
Increment reference count only.
References CCuddNavigator::incRef(), and PBORI_TRACE_FUNC.
CCuddGetNode::node_type 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 CCuddNavigator::decRef(), CCuddNavigator::elseBranch(), CCuddNavigator::incRef(), PBORI_TRACE_FUNC, and CCuddNavigator::thenBranch().
CCuddGetNode::node_type CCuddGetNode::operator() | ( | idx_type | idx, | |
const node_type & | thennode, | |||
const node_type & | elsenode | |||
) | const |
The get node operation.
References CCuddNavigator::decRef(), CCuddNavigator::getNode(), CCuddNavigator::incRef(), CCuddNavigator::isValid(), mgr, PBORI_TRACE_FUNC, and CCuddNavigator::recursiveDecRef().
const manager_type& CCuddGetNode::mgr [protected] |
Referenced by operator()().