#include <cuddInt.h>

Public Attributes
void *	first

DdQueueItem **	last

DdQueueItem *	freelist

DdQueueItem **	buckets

int	levels

int	itemsize

int	size

int	maxsize

int	numBuckets

int	shift

Detailed Description

Definition at line 485 of file cuddInt.h.

Member Data Documentation

◆ buckets

DdQueueItem** DdLevelQueue::buckets

Definition at line 489 of file cuddInt.h.

◆ first

void* DdLevelQueue::first

Definition at line 486 of file cuddInt.h.

◆ freelist

DdQueueItem* DdLevelQueue::freelist

Definition at line 488 of file cuddInt.h.

◆ itemsize

int DdLevelQueue::itemsize

Definition at line 491 of file cuddInt.h.

◆ last

DdQueueItem** DdLevelQueue::last

Definition at line 487 of file cuddInt.h.

◆ levels

int DdLevelQueue::levels

Definition at line 490 of file cuddInt.h.

◆ maxsize

int DdLevelQueue::maxsize

Definition at line 493 of file cuddInt.h.

◆ numBuckets

int DdLevelQueue::numBuckets

Definition at line 494 of file cuddInt.h.

◆ shift

int DdLevelQueue::shift

Definition at line 495 of file cuddInt.h.

◆ size

int DdLevelQueue::size

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