Cal_BddManagerStruct Struct Reference

#include <calInt.h>

Collaboration diagram for Cal_BddManagerStruct:

[legend]

Data Fields
int	numVars
int	maxNumVars
Cal_Bdd_t *	varBdds
CalPageManager_t *	pageManager1
CalPageManager_t *	pageManager2
CalNodeManager_t **	nodeManagerArray
Cal_Bdd_t	bddOne
Cal_Bdd_t	bddZero
Cal_Bdd_t	bddNull
CalBddNode_t *	userOneBdd
CalBddNode_t *	userZeroBdd
Cal_BddId_t *	indexToId
Cal_BddIndex_t *	idToIndex
CalHashTable_t **	uniqueTable
CalCacheTable_t *	cacheTable
void(*	TransformFn )(Cal_BddManager_t *, CalAddress_t, CalAddress_t, CalAddress_t *, CalAddress_t *, Cal_Pointer_t)
Cal_Pointer_t	transformEnv
CalHashTable_t ***	reqQue
int	depth
int	maxDepth
CalPipeState_t	pipelineState
CalOpProc_t	pipelineFn
int	pipelineDepth
int	currentPipelineDepth
CalRequestNode_t **	requestNodeArray
CalRequestNode_t *	userProvisionalNodeList
CalRequestNode_t **	requestNodeListArray
unsigned long	numNodes
unsigned long	numPeakNodes
unsigned long	numNodesFreed
int	gcCheck
unsigned long	uniqueTableGCLimit
int	numGC
int	gcMode
unsigned long	nodeLimit
int	overflow
float	repackAfterGCThreshold
CalAssociation_t *	currentAssociation
CalAssociation_t *	associationList
CalAssociation_t *	tempAssociation
unsigned short	tempOpCode
long *	interact
int	dynamicReorderingEnableFlag
int	reorderMethod
int	reorderTechnique
long	numForwardedNodes
int	numReorderings
long	maxNumVarsSiftedPerReordering
long	numSwaps
long	numTrivialSwaps
long	maxNumSwapsPerReordering
double	maxSiftingGrowth
long	reorderingThreshold
long	maxForwardedNodes
float	tableRepackThreshold
Cal_Block	superBlock
void *	hooks
int	debugFlag

---

Detailed Description

Definition at line 288 of file calInt.h.

---

Field Documentation

CalAssociation_t* Cal_BddManagerStruct::associationList

Definition at line 378 of file calInt.h.

Cal_Bdd_t Cal_BddManagerStruct::bddNull

Definition at line 313 of file calInt.h.

Cal_Bdd_t Cal_BddManagerStruct::bddOne

Definition at line 311 of file calInt.h.

Cal_Bdd_t Cal_BddManagerStruct::bddZero

Definition at line 312 of file calInt.h.

CalCacheTable_t* Cal_BddManagerStruct::cacheTable

Definition at line 336 of file calInt.h.

CalAssociation_t* Cal_BddManagerStruct::currentAssociation

Definition at line 377 of file calInt.h.

int Cal_BddManagerStruct::currentPipelineDepth

Definition at line 355 of file calInt.h.

int Cal_BddManagerStruct::debugFlag

Definition at line 401 of file calInt.h.

int Cal_BddManagerStruct::depth

Definition at line 350 of file calInt.h.

int Cal_BddManagerStruct::dynamicReorderingEnableFlag

Definition at line 384 of file calInt.h.

int Cal_BddManagerStruct::gcCheck

Definition at line 367 of file calInt.h.

int Cal_BddManagerStruct::gcMode

Definition at line 370 of file calInt.h.

void* Cal_BddManagerStruct::hooks

Definition at line 400 of file calInt.h.

Cal_BddIndex_t* Cal_BddManagerStruct::idToIndex

Definition at line 322 of file calInt.h.

Cal_BddId_t* Cal_BddManagerStruct::indexToId

Definition at line 317 of file calInt.h.

long* Cal_BddManagerStruct::interact

Definition at line 383 of file calInt.h.

int Cal_BddManagerStruct::maxDepth

Definition at line 351 of file calInt.h.

long Cal_BddManagerStruct::maxForwardedNodes

Definition at line 395 of file calInt.h.

long Cal_BddManagerStruct::maxNumSwapsPerReordering

Definition at line 392 of file calInt.h.

int Cal_BddManagerStruct::maxNumVars

Definition at line 297 of file calInt.h.

long Cal_BddManagerStruct::maxNumVarsSiftedPerReordering

Definition at line 389 of file calInt.h.

double Cal_BddManagerStruct::maxSiftingGrowth

Definition at line 393 of file calInt.h.

unsigned long Cal_BddManagerStruct::nodeLimit

Definition at line 371 of file calInt.h.

CalNodeManager_t** Cal_BddManagerStruct::nodeManagerArray

Definition at line 306 of file calInt.h.

long Cal_BddManagerStruct::numForwardedNodes

Definition at line 387 of file calInt.h.

int Cal_BddManagerStruct::numGC

Definition at line 369 of file calInt.h.

unsigned long Cal_BddManagerStruct::numNodes

Definition at line 364 of file calInt.h.

unsigned long Cal_BddManagerStruct::numNodesFreed

Definition at line 366 of file calInt.h.

unsigned long Cal_BddManagerStruct::numPeakNodes

Definition at line 365 of file calInt.h.

int Cal_BddManagerStruct::numReorderings

Definition at line 388 of file calInt.h.

long Cal_BddManagerStruct::numSwaps

Definition at line 390 of file calInt.h.

long Cal_BddManagerStruct::numTrivialSwaps

Definition at line 391 of file calInt.h.

int Cal_BddManagerStruct::numVars

Definition at line 290 of file calInt.h.

int Cal_BddManagerStruct::overflow

Definition at line 372 of file calInt.h.

CalPageManager_t* Cal_BddManagerStruct::pageManager1

Definition at line 304 of file calInt.h.

CalPageManager_t* Cal_BddManagerStruct::pageManager2

Definition at line 305 of file calInt.h.

int Cal_BddManagerStruct::pipelineDepth

Definition at line 354 of file calInt.h.

CalOpProc_t Cal_BddManagerStruct::pipelineFn

Definition at line 353 of file calInt.h.

CalPipeState_t Cal_BddManagerStruct::pipelineState

Definition at line 352 of file calInt.h.

long Cal_BddManagerStruct::reorderingThreshold

Definition at line 394 of file calInt.h.

int Cal_BddManagerStruct::reorderMethod

Definition at line 385 of file calInt.h.

int Cal_BddManagerStruct::reorderTechnique

Definition at line 386 of file calInt.h.

float Cal_BddManagerStruct::repackAfterGCThreshold

Definition at line 373 of file calInt.h.

CalHashTable_t*** Cal_BddManagerStruct::reqQue

Definition at line 344 of file calInt.h.

CalRequestNode_t** Cal_BddManagerStruct::requestNodeArray

Definition at line 356 of file calInt.h.

CalRequestNode_t** Cal_BddManagerStruct::requestNodeListArray

Definition at line 360 of file calInt.h.

Cal_Block Cal_BddManagerStruct::superBlock

Definition at line 397 of file calInt.h.

float Cal_BddManagerStruct::tableRepackThreshold

Definition at line 396 of file calInt.h.

CalAssociation_t* Cal_BddManagerStruct::tempAssociation

Definition at line 379 of file calInt.h.

unsigned short Cal_BddManagerStruct::tempOpCode

Definition at line 380 of file calInt.h.

Cal_Pointer_t Cal_BddManagerStruct::transformEnv

Definition at line 341 of file calInt.h.

void(* Cal_BddManagerStruct::TransformFn)(Cal_BddManager_t *, CalAddress_t, CalAddress_t, CalAddress_t *, CalAddress_t *, Cal_Pointer_t)

CalHashTable_t** Cal_BddManagerStruct::uniqueTable

Definition at line 331 of file calInt.h.

unsigned long Cal_BddManagerStruct::uniqueTableGCLimit

Definition at line 368 of file calInt.h.

CalBddNode_t* Cal_BddManagerStruct::userOneBdd

Definition at line 314 of file calInt.h.

CalRequestNode_t* Cal_BddManagerStruct::userProvisionalNodeList

Definition at line 357 of file calInt.h.

CalBddNode_t* Cal_BddManagerStruct::userZeroBdd

Definition at line 315 of file calInt.h.

Cal_Bdd_t* Cal_BddManagerStruct::varBdds

Definition at line 300 of file calInt.h.

---

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

• src/calBdd/calInt.h