DdCache Struct Reference

#include <cuddInt.h>

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

Detailed Description

Definition at line 316 of file cuddInt.h.

Field Documentation

DdNode* DdCache::data

Definition at line 319 of file cuddInt.h.

DdNode* DdCache::f

Definition at line 317 of file cuddInt.h.

DdNode * DdCache::g

Definition at line 317 of file cuddInt.h.

ptruint DdCache::h

Definition at line 318 of file cuddInt.h.

unsigned DdCache::hash

Definition at line 323 of file cuddInt.h.

---

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

• cuddInt.h