DdCache Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdCache:

[legend]

Data Fields
DdNode *	f
DdNode *	g
ptruint	h
DdNode *	data

---

Detailed Description

Definition at line 269 of file cuddInt.h.

---

Field Documentation

DdNode* DdCache::data

Definition at line 272 of file cuddInt.h.

DdNode* DdCache::f

Definition at line 270 of file cuddInt.h.

DdNode * DdCache::g

Definition at line 270 of file cuddInt.h.

ptruint DdCache::h

Definition at line 271 of file cuddInt.h.

---

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

• src/bdd/cudd/cuddInt.h