DD Class Reference

Base class for all decision diagrams in CUDD. More...

#include <cuddObj.hh>

Inheritance diagram for DD:

Collaboration diagram for DD:

Public Member Functions
	operator bool () const
DdManager *	manager () const
DdNode *	getNode () const
DdNode *	getRegularNode () const
int	nodeCount () const
unsigned int	NodeReadIndex () const

Protected Member Functions
DdManager *	checkSameManager (const DD &other) const
void	checkReturnValue (const void *result) const
void	checkReturnValue (int result, int expected=1) const
	DD (Capsule *cap, DdNode *ddNode)
	DD (Cudd const &manager, DdNode *ddNode)
	DD (const DD &from)

Protected Attributes
Capsule *	p
DdNode *	node

Detailed Description

Base class for all decision diagrams in CUDD.

See also

Cudd ABDD ADD BDD ZDD

---

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

• cplusplus/cuddObj.hh
• cplusplus/cuddObj.cc