GlobalInfo Struct Reference

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

struct NodeDist* GlobalInfo::currentNodeDistPage

current page

DdNode** GlobalInfo::currentQueuePage

current page

int GlobalInfo::maxNodeDistPages

number of page pointers

int GlobalInfo::maxQueuePages

number of page pointers

int GlobalInfo::nodeDistPage

index to current page

int GlobalInfo::nodeDistPageIndex

index to next element

struct NodeDist** GlobalInfo::nodeDistPages

pointers to the pages

int GlobalInfo::nodeDistPageSize

page size

int GlobalInfo::queuePage

index to current page

int GlobalInfo::queuePageIndex

index to next element

DdNode*** GlobalInfo::queuePages

pointers to the pages

int GlobalInfo::queuePageSize

page size

---

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

• cudd/cuddSubsetSP.c