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 321 of file cuddInt.h.

---

Field Documentation

int DdSubtable::bindVar

Definition at line 329 of file cuddInt.h.

unsigned int DdSubtable::dead

Definition at line 327 of file cuddInt.h.

unsigned int DdSubtable::keys

Definition at line 325 of file cuddInt.h.

unsigned int DdSubtable::maxKeys

Definition at line 326 of file cuddInt.h.

unsigned int DdSubtable::next

Definition at line 328 of file cuddInt.h.

DdNode** DdSubtable::nodelist

Definition at line 322 of file cuddInt.h.

int DdSubtable::pairIndex

Definition at line 332 of file cuddInt.h.

int DdSubtable::shift

Definition at line 323 of file cuddInt.h.

unsigned int DdSubtable::slots

Definition at line 324 of file cuddInt.h.

int DdSubtable::varHandled

Definition at line 333 of file cuddInt.h.

Cudd_LazyGroupType DdSubtable::varToBeGrouped

Definition at line 334 of file cuddInt.h.

Cudd_VariableType DdSubtable::varType

Definition at line 331 of file cuddInt.h.

---

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

• src/cuBdd/cuddInt.h