DdSubtable Struct Reference

Subtable for one index. More...

#include <cuddInt.h>

Collaboration diagram for DdSubtable:

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

Subtable for one index.

Field Documentation

int DdSubtable::bindVar

flag to bind this variable to its level

unsigned int DdSubtable::dead

number of dead nodes in this table

unsigned int DdSubtable::keys

number of nodes stored in this table

unsigned int DdSubtable::maxKeys

slots * DD_MAX_SUBTABLE_DENSITY

unsigned int DdSubtable::next

index of next variable in group

DdNode** DdSubtable::nodelist

hash table

int DdSubtable::pairIndex

corresponding variable index (ps <-> ns)

int DdSubtable::shift

shift for hash function

unsigned int DdSubtable::slots

size of the hash table

int DdSubtable::varHandled

flag: 1 means variable is already handled

Cudd_LazyGroupType DdSubtable::varToBeGrouped

tells what grouping to apply

Cudd_VariableType DdSubtable::varType

variable type (ps, ns, pi)

---

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

• cudd/cuddInt.h