cudd  3.0.0
The University of Colorado Decision Diagram Package
Public Member Functions | Protected Member Functions | Protected Attributes
DD Class Reference

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

#include <cuddObj.hh>

Inheritance diagram for DD:
Inheritance graph
[legend]
Collaboration diagram for DD:
Collaboration graph
[legend]

Public Member Functions

 operator bool () const
 
DdManagermanager () const
 
DdNodegetNode () const
 
DdNodegetRegularNode () const
 
int nodeCount () const
 
unsigned int NodeReadIndex () const
 

Protected Member Functions

DdManagercheckSameManager (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

Capsulep
 
DdNodenode
 

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: