Bookkeeping data structure for subsetting algorithm. More...

Collaboration diagram for GlobalInfo:

Data Fields
struct NodeDist **	nodeDistPages

int	nodeDistPageIndex

int	nodeDistPage

int	nodeDistPageSize

int	maxNodeDistPages

struct NodeDist *	currentNodeDistPage

DdNode ***	queuePages

int	queuePageIndex

int	queuePage

int	queuePageSize

int	maxQueuePages

DdNode **	currentQueuePage

Detailed Description

Bookkeeping data structure for subsetting algorithm.

Field Documentation

◆ currentNodeDistPage

struct NodeDist* GlobalInfo::currentNodeDistPage

current page

◆ currentQueuePage

DdNode** GlobalInfo::currentQueuePage

current page

◆ maxNodeDistPages

int GlobalInfo::maxNodeDistPages

number of page pointers

◆ maxQueuePages

int GlobalInfo::maxQueuePages

number of page pointers

◆ nodeDistPage

int GlobalInfo::nodeDistPage

index to current page

◆ nodeDistPageIndex

int GlobalInfo::nodeDistPageIndex

index to next element

◆ nodeDistPages

struct NodeDist** GlobalInfo::nodeDistPages

pointers to the pages

◆ nodeDistPageSize

int GlobalInfo::nodeDistPageSize

page size

◆ queuePage

int GlobalInfo::queuePage

index to current page

◆ queuePageIndex

int GlobalInfo::queuePageIndex