cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Specialized DD symbol table. More...
#include <cuddInt.h>
Specialized DD symbol table.
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
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