Miscellaneous info. More...
Collaboration diagram for SubsetInfo:
Data Fields | |
| DdNode * | zero |
| DdNode * | one |
| double ** | mintermPages |
| int ** | nodePages |
| int ** | lightNodePages |
| double * | currentMintermPage |
| double | max |
| int * | currentNodePage |
| int * | currentLightNodePage |
| int | pageIndex |
| int | page |
| int | pageSize |
| int | maxPages |
| NodeData_t * | currentNodeDataPage |
| int | nodeDataPage |
| int | nodeDataPageIndex |
| NodeData_t ** | nodeDataPages |
| int | nodeDataPageSize |
| int | maxNodeDataPages |
| int | memOut |
Detailed Description
Miscellaneous info.
Field Documentation
◆ currentLightNodePage
| int* SubsetInfo::currentLightNodePage |
pointer to the current page
◆ currentMintermPage
| double* SubsetInfo::currentMintermPage |
pointer to the current page
◆ currentNodeDataPage
| NodeData_t* SubsetInfo::currentNodeDataPage |
pointer to the current page
◆ currentNodePage
| int* SubsetInfo::currentNodePage |
pointer to the current page
◆ lightNodePages
| int** SubsetInfo::lightNodePages |
pointers to the pages
◆ max
| double SubsetInfo::max |
to store the 2^n value of the number of variables
◆ maxNodeDataPages
| int SubsetInfo::maxNodeDataPages |
number of page pointers
◆ maxPages
| int SubsetInfo::maxPages |
number of page pointers
◆ mintermPages
| double** SubsetInfo::mintermPages |
pointers to the pages
◆ nodeDataPage
| int SubsetInfo::nodeDataPage |
index to next element
◆ nodeDataPageIndex
| int SubsetInfo::nodeDataPageIndex |
index to next element
◆ nodeDataPages
| NodeData_t** SubsetInfo::nodeDataPages |
index to current page
◆ nodeDataPageSize
| int SubsetInfo::nodeDataPageSize |
page size
◆ nodePages
| int** SubsetInfo::nodePages |
pointers to the pages
◆ one
| DdNode * SubsetInfo::one |
constant functions
◆ page
| int SubsetInfo::page |
index to current page
◆ pageIndex
| int SubsetInfo::pageIndex |
index to next element
◆ pageSize
| int SubsetInfo::pageSize |
page size
The documentation for this struct was generated from the following file:
- cudd/cuddSubsetHB.c
