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
◆ bindVar
| int DdSubtable::bindVar |
flag to bind this variable to its level
◆ dead
| unsigned int DdSubtable::dead |
number of dead nodes in this table
◆ keys
| unsigned int DdSubtable::keys |
number of nodes stored in this table
◆ maxKeys
| unsigned int DdSubtable::maxKeys |
slots * DD_MAX_SUBTABLE_DENSITY
◆ next
| unsigned int DdSubtable::next |
index of next variable in group
◆ nodelist
| DdNode** DdSubtable::nodelist |
hash table
◆ pairIndex
| int DdSubtable::pairIndex |
corresponding variable index (ps <-> ns)
◆ shift
| int DdSubtable::shift |
shift for hash function
◆ slots
| unsigned int DdSubtable::slots |
size of the hash table
◆ varHandled
| int DdSubtable::varHandled |
flag: 1 means variable is already handled
◆ varToBeGrouped
| Cudd_LazyGroupType DdSubtable::varToBeGrouped |
tells what grouping to apply
◆ varType
| Cudd_VariableType DdSubtable::varType |
variable type (ps, ns, pi)
The documentation for this struct was generated from the following file:
- cudd/cuddInt.h
