GlobalInfo Struct Reference

Bookkeeping data structure for subsetting algorithm. More...

Collaboration diagram for GlobalInfo:
[legend]

Data Fields

struct NodeDist ** nodeDistPages
int nodeDistPageIndex
int nodeDistPage
int nodeDistPageSize
int maxNodeDistPages
struct NodeDistcurrentNodeDistPage
DdNode *** queuePages
int queuePageIndex
int queuePage
int queuePageSize
int maxQueuePages
DdNode ** currentQueuePage

Detailed Description

Bookkeeping data structure for subsetting algorithm.


Field Documentation

current page

current page

number of page pointers

number of page pointers

index to current page

index to next element

pointers to the pages

page size

index to current page

index to next element

pointers to the pages

page size


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1