cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
DdSubtable Struct Reference

Subtable for one index. More...

#include <cuddInt.h>

Collaboration diagram for DdSubtable:
Collaboration graph
[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

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: