DD Class Reference

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

#include <cuddObj.hh>

Inheritance diagram for DD:
[legend]
Collaboration diagram for DD:
[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:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1