polybori::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

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.

polybori::CCuddGetNode::~CCuddGetNode (  ) 

Destructor.

References PBORI_TRACE_FUNC.


Member Function Documentation

CCuddGetNode::node_type polybori::CCuddGetNode::operator() ( const node_type oldnode  )  const

Increment reference count only.

References polybori::CCuddNavigator::incRef(), 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

CCuddGetNode::node_type polybori::CCuddGetNode::operator() ( idx_type  idx,
const node_type thennode,
const node_type elsenode 
) const


Member Data Documentation

Referenced by operator()().


The documentation for this class was generated from the following files:

Generated on Thu Mar 5 02:26:57 2009 for PolyBoRi by  doxygen 1.5.8