Specialized DD symbol table. More...

#include <cuddInt.h>

Collaboration diagram for DdManager:

Data Fields
DdNode	sentinel

DdNode *	one

DdNode *	zero

DdNode *	plusinfinity

DdNode *	minusinfinity

DdNode *	background

DdCache *	acache

DdCache *	cache

unsigned int	cacheSlots

int	cacheShift

double	cacheMisses

double	cacheHits

double	minHit

int	cacheSlack

unsigned int	maxCacheHard

int	size

int	sizeZ

int	maxSize

int	maxSizeZ

DdSubtable *	subtables

DdSubtable *	subtableZ

DdSubtable	constants

unsigned int	slots

unsigned int	keys

unsigned int	keysZ

unsigned int	dead

unsigned int	deadZ

unsigned int	maxLive

unsigned int	minDead

int	gcEnabled

double	gcFrac

unsigned int	looseUpTo

unsigned int	initSlots

DdNode **	stack

double	allocated

double	reclaimed

int *	perm

int *	permZ

int *	invperm

int *	invpermZ

DdNode **	vars

int *	map

DdNode **	univ

unsigned int	isolated

unsigned int	originalSize

int	linearSize

ptruint *	interact

ptruint *	linear

DdNode **	memoryList

DdNode *	nextFree

char *	stash

DdNode **	deathRow

int	deathRowDepth

int	nextDead

unsigned	deadMask

CUDD_VALUE_TYPE	epsilon

int	reordered

unsigned int	reorderings

unsigned int	maxReorderings

int	siftMaxVar

int	siftMaxSwap

int	ddTotalNumberSwapping

int	zddTotalNumberSwapping

int	reordCycle

double	maxGrowth

double	maxGrowthAlt

int	autoDyn

int	autoDynZ

Cudd_ReorderingType	autoMethod

Cudd_ReorderingType	autoMethodZ

int	realign

int	realignZ

unsigned int	nextDyn

unsigned int	countDead

MtrNode *	tree

MtrNode *	treeZ

Cudd_AggregationType	groupcheck

int	recomb

int	symmviolation

int	arcviolation

int	populationSize

int	numberXovers

unsigned int	randomizeOrder

DdLocalCache *	localCaches

void *	hooks

DdHook *	preGCHook

DdHook *	postGCHook

DdHook *	preReorderingHook

DdHook *	postReorderingHook

FILE *	out

FILE *	err

Cudd_ErrorType	errorCode

unsigned long	startTime

unsigned long	timeLimit

DD_THFP	terminationCallback

void *	tcbArg

DD_OOMFP	outOfMemCallback

DD_TOHFP	timeoutHandler

void *	tohArg

size_t	memused

size_t	maxmem

size_t	maxmemhard

int	garbageCollections

unsigned long	GCTime

unsigned long	reordTime

double	totCachehits

double	totCacheMisses

double	cachecollisions

double	cacheinserts

double	cacheLastInserts

double	cachedeletions

unsigned int	peakLiveNodes

int32_t	cuddRand

int32_t	cuddRand2

int32_t	shuffleSelect

int32_t	shuffleTable [64]

Detailed Description

Specialized DD symbol table.

Field Documentation

DdCache* DdManager::acache

address of allocated memory for cache

double DdManager::allocated

number of nodes allocated (not during reordering)

int DdManager::arcviolation

used during group sifting

int DdManager::autoDyn

automatic dynamic reordering flag (BDD)

int DdManager::autoDynZ

automatic dynamic reordering flag (ZDD)

Cudd_ReorderingType DdManager::autoMethod

default reordering method

Cudd_ReorderingType DdManager::autoMethodZ

default reordering method (ZDD)

DdNode* DdManager::background

background value

DdCache* DdManager::cache

the cache-based computed table

double DdManager::cachecollisions

number of cache collisions

double DdManager::cachedeletions

number of deletions during garbage coll.

double DdManager::cacheHits

number of cache hits (since resizing)

double DdManager::cacheinserts

number of cache insertions

double DdManager::cacheLastInserts

insertions at the last cache resizing

double DdManager::cacheMisses

number of cache misses (since resizing)

int DdManager::cacheShift

shift value for cache hash function

int DdManager::cacheSlack

slots still available for resizing

unsigned int DdManager::cacheSlots

total number of cache entries

DdSubtable DdManager::constants

unique subtable for the constants

unsigned int DdManager::countDead

if 0, count deads to trigger reordering

int32_t DdManager::cuddRand

state of the random number generator

int32_t DdManager::cuddRand2

state of the random number generator

int DdManager::ddTotalNumberSwapping

number of BDD/ADD swaps completed

unsigned int DdManager::dead

total number of dead BDD and ADD nodes

unsigned DdManager::deadMask

mask for circular index update

unsigned int DdManager::deadZ

total number of dead ZDD nodes

DdNode** DdManager::deathRow

queue for dereferencing

int DdManager::deathRowDepth

number of slots in the queue

CUDD_VALUE_TYPE DdManager::epsilon

tolerance on comparisons

FILE* DdManager::err

stderr for this manager

Cudd_ErrorType DdManager::errorCode

info on last error

int DdManager::garbageCollections

number of garbage collections

int DdManager::gcEnabled

gc is enabled

double DdManager::gcFrac

gc when this fraction is dead

unsigned long DdManager::GCTime

total time spent in garbage collection

Cudd_AggregationType DdManager::groupcheck

used during group sifting

void* DdManager::hooks

application-specific field (used by vis)

unsigned int DdManager::initSlots

initial size of a subtable

ptruint* DdManager::interact

interacting variable matrix

int* DdManager::invperm

current inv. var. perm. (level to index)

int* DdManager::invpermZ

for ZDD

unsigned int DdManager::isolated

isolated projection functions

unsigned int DdManager::keys

total number of BDD and ADD nodes

unsigned int DdManager::keysZ

total number of ZDD nodes

ptruint* DdManager::linear

linear transform matrix

int DdManager::linearSize

number of rows and columns of linear

DdLocalCache* DdManager::localCaches

local caches currently in existence

unsigned int DdManager::looseUpTo

slow growth beyond this limit (measured w.r.t. slots, not keys)

int* DdManager::map

variable map for fast swap

unsigned int DdManager::maxCacheHard

hard limit for cache size

double DdManager::maxGrowth

maximum growth during reordering

double DdManager::maxGrowthAlt

alternate maximum growth for reordering

unsigned int DdManager::maxLive

maximum number of live nodes

size_t DdManager::maxmem

target maximum memory

size_t DdManager::maxmemhard

hard limit for maximum memory

unsigned int DdManager::maxReorderings

maximum number of calls to Cudd_ReduceHeap

int DdManager::maxSize

max number of subtables before resizing

int DdManager::maxSizeZ

for ZDD

DdNode** DdManager::memoryList

memory manager for symbol table

size_t DdManager::memused

total memory allocated for the manager

unsigned int DdManager::minDead

do not GC if fewer than these dead

double DdManager::minHit

hit percentage above which to resize

DdNode* DdManager::minusinfinity

minus infinity

int DdManager::nextDead

index in the queue

unsigned int DdManager::nextDyn

reorder if this size is reached

DdNode* DdManager::nextFree

list of free nodes

int DdManager::numberXovers

number of crossovers for GA

DdNode* DdManager::one

constant 1

unsigned int DdManager::originalSize

used by lazy sifting

FILE* DdManager::out

stdout for this manager

DD_OOMFP DdManager::outOfMemCallback

out-of-memory callback

unsigned int DdManager::peakLiveNodes

maximum number of live nodes

int* DdManager::perm

current variable perm. (index to level)

int* DdManager::permZ

for ZDD

DdNode* DdManager::plusinfinity

plus infinity

int DdManager::populationSize

population size for GA

DdHook* DdManager::postGCHook

hooks to be called after GC

DdHook* DdManager::postReorderingHook

hooks to be called after reordering

DdHook* DdManager::preGCHook

hooks to be called before GC

DdHook* DdManager::preReorderingHook

hooks to be called before reordering

unsigned int DdManager::randomizeOrder

perturb the next reordering threshold

int DdManager::realign

realign ZDD order after BDD reordering

int DdManager::realignZ

realign BDD order after ZDD reordering

double DdManager::reclaimed

number of nodes brought back from the dead

int DdManager::recomb

used during group sifting

int DdManager::reordCycle

how often to apply alternate threshold

int DdManager::reordered

flag set at the end of reordering

unsigned int DdManager::reorderings

number of calls to Cudd_ReduceHeap

unsigned long DdManager::reordTime

total time spent in reordering

DdNode DdManager::sentinel

for collision lists

int32_t DdManager::shuffleSelect

state of the random number generator

int32_t DdManager::shuffleTable[64]

state of the random number generator

int DdManager::siftMaxSwap

maximum number of swaps per sifting

int DdManager::siftMaxVar

maximum number of vars sifted

int DdManager::size

number of unique subtables

int DdManager::sizeZ

for ZDD

unsigned int DdManager::slots

total number of hash buckets

DdNode** DdManager::stack

stack for iterative procedures

unsigned long DdManager::startTime

start time in milliseconds

char* DdManager::stash

memory reserve

DdSubtable* DdManager::subtables

array of unique subtables

DdSubtable* DdManager::subtableZ

for ZDD

int DdManager::symmviolation

used during group sifting

void* DdManager::tcbArg

second argument passed to termination handler

DD_THFP DdManager::terminationCallback

termination callback

unsigned long DdManager::timeLimit

CPU time limit

DD_TOHFP DdManager::timeoutHandler

timeout handler

void* DdManager::tohArg

second argument passed to timeout handler

double DdManager::totCachehits

total number of cache hits

double DdManager::totCacheMisses

total number of cache misses

MtrNode* DdManager::tree

variable group tree (BDD)

MtrNode* DdManager::treeZ

variable group tree (ZDD)

DdNode** DdManager::univ

ZDD 1 for each variable

DdNode** DdManager::vars

projection functions

int DdManager::zddTotalNumberSwapping

number of ZDD swaps completed

DdNode* DdManager::zero

constant 0

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

cudd/cuddInt.h

Data Fields

Detailed Description

Field Documentation