cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
DdManager Struct Reference

Specialized DD symbol table. More...

#include <cuddInt.h>

Collaboration diagram for DdManager:
Collaboration graph
[legend]

Data Fields

DdNode sentinel
 
DdNodeone
 
DdNodezero
 
DdNodeplusinfinity
 
DdNodeminusinfinity
 
DdNodebackground
 
DdCacheacache
 
DdCachecache
 
unsigned int cacheSlots
 
int cacheShift
 
double cacheMisses
 
double cacheHits
 
double minHit
 
int cacheSlack
 
unsigned int maxCacheHard
 
int size
 
int sizeZ
 
int maxSize
 
int maxSizeZ
 
DdSubtablesubtables
 
DdSubtablesubtableZ
 
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
 
ptruintinteract
 
ptruintlinear
 
DdNode ** memoryList
 
DdNodenextFree
 
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
 
MtrNodetree
 
MtrNodetreeZ
 
Cudd_AggregationType groupcheck
 
int recomb
 
int symmviolation
 
int arcviolation
 
int populationSize
 
int numberXovers
 
unsigned int randomizeOrder
 
DdLocalCachelocalCaches
 
void * hooks
 
DdHookpreGCHook
 
DdHookpostGCHook
 
DdHookpreReorderingHook
 
DdHookpostReorderingHook
 
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: