cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
GlobalInfo Struct Reference

Bookkeeping data structure for subsetting algorithm. More...

Collaboration diagram for GlobalInfo:
Collaboration graph
[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

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: