DdSubtable Struct Reference

Subtable for one index. More...

#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

Subtable for one index.


Field Documentation

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

hash table

corresponding variable index (ps <-> ns)

shift for hash function

unsigned int DdSubtable::slots

size of the hash table

flag: 1 means variable is already handled

tells what grouping to apply

variable type (ps, ns, pi)


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1