DdCache Struct Reference

Computed table. More...

#include <cuddInt.h>

Collaboration diagram for DdCache:
[legend]

Data Fields

DdNodef
DdNodeg
ptruint h
DdNodedata

Detailed Description

Computed table.


Field Documentation

already constructed DD

DDs

either operator or DD


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1