DdSubtable Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdSubtable:

[legend]

Data Fields
DdNode **	nodelist
int	shift
unsigned int	slots
unsigned int	keys
unsigned int	maxKeys
unsigned int	dead
unsigned int	next
int	bindVar
Cudd_VariableType	varType
int	pairIndex
int	varHandled
Cudd_LazyGroupType	varToBeGrouped

---

Detailed Description

Definition at line 278 of file cuddInt.h.

---

Field Documentation

int DdSubtable::bindVar

Definition at line 286 of file cuddInt.h.

unsigned int DdSubtable::dead

Definition at line 284 of file cuddInt.h.

unsigned int DdSubtable::keys

Definition at line 282 of file cuddInt.h.

unsigned int DdSubtable::maxKeys

Definition at line 283 of file cuddInt.h.

unsigned int DdSubtable::next

Definition at line 285 of file cuddInt.h.

DdNode** DdSubtable::nodelist

Definition at line 279 of file cuddInt.h.

int DdSubtable::pairIndex

Definition at line 289 of file cuddInt.h.

int DdSubtable::shift

Definition at line 280 of file cuddInt.h.

unsigned int DdSubtable::slots

Definition at line 281 of file cuddInt.h.

int DdSubtable::varHandled

Definition at line 290 of file cuddInt.h.

Cudd_LazyGroupType DdSubtable::varToBeGrouped

Definition at line 291 of file cuddInt.h.

Cudd_VariableType DdSubtable::varType

Definition at line 288 of file cuddInt.h.

---

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

• src/bdd/cudd/cuddInt.h