#include <cuddInt.h>

Public Attributes
unsigned int	keysize

unsigned int	itemsize

DdHashItem **	bucket

DdHashItem *	nextFree

DdHashItem **	memoryList

unsigned int	numBuckets

int	shift

unsigned int	size

unsigned int	maxsize

DdManager *	manager

Detailed Description

Definition at line 288 of file cuddInt.h.

Member Data Documentation

◆ bucket

DdHashItem** DdHashTable::bucket

Definition at line 291 of file cuddInt.h.

◆ itemsize

unsigned int DdHashTable::itemsize

Definition at line 290 of file cuddInt.h.

◆ keysize

unsigned int DdHashTable::keysize

Definition at line 289 of file cuddInt.h.

◆ manager

DdManager* DdHashTable::manager

Definition at line 298 of file cuddInt.h.

◆ maxsize

unsigned int DdHashTable::maxsize

Definition at line 297 of file cuddInt.h.

◆ memoryList

DdHashItem** DdHashTable::memoryList

Definition at line 293 of file cuddInt.h.

◆ nextFree

DdHashItem* DdHashTable::nextFree

Definition at line 292 of file cuddInt.h.

◆ numBuckets

unsigned int DdHashTable::numBuckets

Definition at line 294 of file cuddInt.h.

◆ shift

int DdHashTable::shift

Definition at line 295 of file cuddInt.h.

◆ size

unsigned int DdHashTable::size

Definition at line 296 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