CCuddGetNode Class Reference

This class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes. More...

#include <CCuddGetNode.h>

List of all members.

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_typemgr

Detailed Description

This class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes.


Member Typedef Documentation

Type for indices.

Cudd's node pointer.

Cudd's node pointer.

Get type of *this.


Constructor & Destructor Documentation

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.


Member Function Documentation

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
CCuddGetNode::node_type CCuddGetNode::operator() ( idx_type  idx,
const node_type thennode,
const node_type elsenode 
) const

Member Data Documentation

const manager_type& CCuddGetNode::mgr [protected]

Referenced by operator()().


The documentation for this class was generated from the following files:
Generated on Tue May 4 08:13:26 2010 for PolyBoRi by  doxygen 1.6.3