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_type &	mgr

---

Detailed Description

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

---

Member Typedef Documentation

typedef CTypes::idx_type polybori::CCuddGetNode::idx_type

Type for indices.

typedef Cudd polybori::CCuddGetNode::manager_type

Cudd's node pointer.

typedef CCuddNavigator polybori::CCuddGetNode::node_type

Cudd's node pointer.

typedef CCuddGetNode polybori::CCuddGetNode::self

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()	(	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.

---

Member Data Documentation

const manager_type& polybori::CCuddGetNode::mgr [protected]

Referenced by operator()().

---

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

• CCuddGetNode.h
• CCuddGetNode.cc