#include <cuddInt.h>

Public Attributes
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 310 of file cuddInt.h.

Member Data Documentation

◆ bindVar

int DdSubtable::bindVar

Definition at line 318 of file cuddInt.h.

◆ dead

unsigned int DdSubtable::dead

Definition at line 316 of file cuddInt.h.

◆ keys

unsigned int DdSubtable::keys

Definition at line 314 of file cuddInt.h.

◆ maxKeys

unsigned int DdSubtable::maxKeys

Definition at line 315 of file cuddInt.h.

◆ next

unsigned int DdSubtable::next

Definition at line 317 of file cuddInt.h.

◆ nodelist

DdNode** DdSubtable::nodelist

Definition at line 311 of file cuddInt.h.

◆ pairIndex

int DdSubtable::pairIndex

Definition at line 321 of file cuddInt.h.

◆ shift

int DdSubtable::shift

Definition at line 312 of file cuddInt.h.

◆ slots

unsigned int DdSubtable::slots

Definition at line 313 of file cuddInt.h.

◆ varHandled

int DdSubtable::varHandled

Definition at line 322 of file cuddInt.h.

◆ varToBeGrouped

Cudd_LazyGroupType DdSubtable::varToBeGrouped

Definition at line 323 of file cuddInt.h.

◆ varType

Cudd_VariableType DdSubtable::varType

Definition at line 320 of file cuddInt.h.

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

/home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h

Public Attributes