DdCache Struct Reference

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

DdNode* DdCache::data

already constructed DD

DdNode * DdCache::g

DDs

ptruint DdCache::h

either operator or DD

---

The documentation for this struct was generated from the following file:

• cudd/cuddInt.h