---

DdSubtable Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdSubtable:

[legend]List of all members.

Public Attributes
DdNode **	nodelist
int	shift
unsigned int	slots
unsigned int	keys
unsigned int	maxKeys
unsigned int	dead
unsigned int	next

---

Member Data Documentation

unsigned int DdSubtable::dead

Definition at line 241 of file cuddInt.h.

unsigned int DdSubtable::keys

Definition at line 239 of file cuddInt.h.

unsigned int DdSubtable::maxKeys

Definition at line 240 of file cuddInt.h.

unsigned int DdSubtable::next

Definition at line 242 of file cuddInt.h.

DdNode** DdSubtable::nodelist

Definition at line 236 of file cuddInt.h.

int DdSubtable::shift

Definition at line 237 of file cuddInt.h.

unsigned int DdSubtable::slots

Definition at line 238 of file cuddInt.h.

---

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

• cuddInt.h

---