SubsetInfo Struct Reference

Miscellaneous info. More...

Collaboration diagram for SubsetInfo:
[legend]

Data Fields

DdNodezero
DdNodeone
double ** mintermPages
int ** nodePages
int ** lightNodePages
double * currentMintermPage
double max
int * currentNodePage
int * currentLightNodePage
int pageIndex
int page
int pageSize
int maxPages
NodeData_tcurrentNodeDataPage
int nodeDataPage
int nodeDataPageIndex
NodeData_t ** nodeDataPages
int nodeDataPageSize
int maxNodeDataPages
int memOut

Detailed Description

Miscellaneous info.


Field Documentation

pointer to the current page

pointer to the current page

pointer to the current page

pointer to the current page

pointers to the pages

to store the 2^n value of the number of variables

number of page pointers

number of page pointers

pointers to the pages

index to next element

index to next element

index to current page

page size

pointers to the pages

constant functions

index to current page

index to next element

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