SubsetInfo Struct Reference

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

int* SubsetInfo::currentLightNodePage

pointer to the current page

double* SubsetInfo::currentMintermPage

pointer to the current page

NodeData_t* SubsetInfo::currentNodeDataPage

pointer to the current page

int* SubsetInfo::currentNodePage

pointer to the current page

int** SubsetInfo::lightNodePages

pointers to the pages

double SubsetInfo::max

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

int SubsetInfo::maxNodeDataPages

number of page pointers

int SubsetInfo::maxPages

number of page pointers

double** SubsetInfo::mintermPages

pointers to the pages

int SubsetInfo::nodeDataPage

index to next element

int SubsetInfo::nodeDataPageIndex

index to next element

NodeData_t** SubsetInfo::nodeDataPages

index to current page

int SubsetInfo::nodeDataPageSize

page size

int** SubsetInfo::nodePages

pointers to the pages

DdNode * SubsetInfo::one

constant functions

int SubsetInfo::page

index to current page

int SubsetInfo::pageIndex

index to next element

int SubsetInfo::pageSize

page size

---

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

• cudd/cuddSubsetHB.c