Computed table. More...
#include <cuddInt.h>
Collaboration diagram for DdCache:
Data Fields | |
| DdNode * | f |
| DdNode * | g |
| ptruint | h |
| DdNode * | data |
Detailed Description
Computed table.
Field Documentation
◆ data
| DdNode* DdCache::data |
already constructed DD
◆ g
| DdNode * DdCache::g |
DDs
◆ h
| ptruint DdCache::h |
either operator or DD
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
