cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Base class for all decision diagrams in CUDD. More...
#include <cuddObj.hh>
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 |