cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Computed table. More...
#include <cuddInt.h>
Data Fields | |
DdNode * | f |
DdNode * | g |
ptruint | h |
DdNode * | data |
Computed table.
DdNode* DdCache::data |
already constructed DD
DdNode * DdCache::g |
DDs
ptruint DdCache::h |
either operator or DD