DdSubtable Struct Reference

#include <cuddInt.h>

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

Field Documentation

int DdSubtable::bindVar

Definition at line 334 of file cuddInt.h.

unsigned int DdSubtable::dead

Definition at line 332 of file cuddInt.h.

unsigned int DdSubtable::keys

Definition at line 330 of file cuddInt.h.

unsigned int DdSubtable::maxKeys

Definition at line 331 of file cuddInt.h.

unsigned int DdSubtable::next

Definition at line 333 of file cuddInt.h.

DdNode** DdSubtable::nodelist

Definition at line 327 of file cuddInt.h.

int DdSubtable::pairIndex

Definition at line 337 of file cuddInt.h.

int DdSubtable::shift

Definition at line 328 of file cuddInt.h.

unsigned int DdSubtable::slots

Definition at line 329 of file cuddInt.h.

int DdSubtable::varHandled

Definition at line 338 of file cuddInt.h.

Cudd_LazyGroupType DdSubtable::varToBeGrouped

Definition at line 339 of file cuddInt.h.

Cudd_VariableType DdSubtable::varType

Definition at line 336 of file cuddInt.h.

---

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

• cuddInt.h