DdManager Struct Reference

#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
double gcFrac
int gcEnabled
unsigned int looseUpTo
unsigned int initSlots
DdNode ** stack
double allocated
double reclaimed
int isolated
int * perm
int * permZ
int * invperm
int * invpermZ
DdNode ** vars
int * map
DdNode ** univ
int linearSize
long * interact
long * linear
DdNode ** memoryList
DdNodenextFree
char * stash
DdNode ** deathRow
int deathRowDepth
int nextDead
unsigned deadMask
CUDD_VALUE_TYPE epsilon
int reordered
int reorderings
int siftMaxVar
int siftMaxSwap
double maxGrowth
double maxGrowthAlt
int reordCycle
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
DdLocalCachelocalCaches
char * hooks
DdHookpreGCHook
DdHookpostGCHook
DdHookpreReorderingHook
DdHookpostReorderingHook
FILE * out
FILE * err
Cudd_ErrorType errorCode
long memused
long maxmem
long maxmemhard
int garbageCollections
long GCTime
long reordTime
double totCachehits
double totCacheMisses
double cachecollisions
double cacheinserts
double cacheLastInserts
double cachedeletions
unsigned int peakLiveNodes

Detailed Description

Definition at line 294 of file cuddInt.h.


Field Documentation

Definition at line 303 of file cuddInt.h.

Definition at line 333 of file cuddInt.h.

Definition at line 380 of file cuddInt.h.

Definition at line 367 of file cuddInt.h.

Definition at line 368 of file cuddInt.h.

Definition at line 369 of file cuddInt.h.

Definition at line 370 of file cuddInt.h.

Definition at line 301 of file cuddInt.h.

Definition at line 304 of file cuddInt.h.

Definition at line 408 of file cuddInt.h.

Definition at line 411 of file cuddInt.h.

Definition at line 308 of file cuddInt.h.

Definition at line 409 of file cuddInt.h.

Definition at line 410 of file cuddInt.h.

Definition at line 307 of file cuddInt.h.

Definition at line 306 of file cuddInt.h.

Definition at line 310 of file cuddInt.h.

unsigned int DdManager::cacheSlots

Definition at line 305 of file cuddInt.h.

Definition at line 319 of file cuddInt.h.

unsigned int DdManager::countDead

Definition at line 374 of file cuddInt.h.

unsigned int DdManager::dead

Definition at line 323 of file cuddInt.h.

Definition at line 355 of file cuddInt.h.

unsigned int DdManager::deadZ

Definition at line 324 of file cuddInt.h.

Definition at line 352 of file cuddInt.h.

Definition at line 353 of file cuddInt.h.

CUDD_VALUE_TYPE DdManager::epsilon

Definition at line 358 of file cuddInt.h.

Definition at line 393 of file cuddInt.h.

Definition at line 398 of file cuddInt.h.

Definition at line 403 of file cuddInt.h.

Definition at line 328 of file cuddInt.h.

Definition at line 327 of file cuddInt.h.

Definition at line 404 of file cuddInt.h.

Definition at line 377 of file cuddInt.h.

Definition at line 387 of file cuddInt.h.

unsigned int DdManager::initSlots

Definition at line 331 of file cuddInt.h.

Definition at line 345 of file cuddInt.h.

Definition at line 339 of file cuddInt.h.

Definition at line 340 of file cuddInt.h.

Definition at line 336 of file cuddInt.h.

unsigned int DdManager::keys

Definition at line 321 of file cuddInt.h.

unsigned int DdManager::keysZ

Definition at line 322 of file cuddInt.h.

Definition at line 346 of file cuddInt.h.

Definition at line 344 of file cuddInt.h.

Definition at line 383 of file cuddInt.h.

unsigned int DdManager::looseUpTo

Definition at line 329 of file cuddInt.h.

Definition at line 342 of file cuddInt.h.

Definition at line 311 of file cuddInt.h.

Definition at line 364 of file cuddInt.h.

Definition at line 365 of file cuddInt.h.

unsigned int DdManager::maxLive

Definition at line 325 of file cuddInt.h.

Definition at line 401 of file cuddInt.h.

Definition at line 402 of file cuddInt.h.

Definition at line 315 of file cuddInt.h.

Definition at line 316 of file cuddInt.h.

Definition at line 348 of file cuddInt.h.

Definition at line 400 of file cuddInt.h.

unsigned int DdManager::minDead

Definition at line 326 of file cuddInt.h.

Definition at line 309 of file cuddInt.h.

Definition at line 300 of file cuddInt.h.

Definition at line 354 of file cuddInt.h.

unsigned int DdManager::nextDyn

Definition at line 373 of file cuddInt.h.

Definition at line 349 of file cuddInt.h.

Definition at line 382 of file cuddInt.h.

Definition at line 297 of file cuddInt.h.

Definition at line 392 of file cuddInt.h.

Definition at line 416 of file cuddInt.h.

Definition at line 337 of file cuddInt.h.

Definition at line 338 of file cuddInt.h.

Definition at line 299 of file cuddInt.h.

Definition at line 381 of file cuddInt.h.

Definition at line 389 of file cuddInt.h.

Definition at line 391 of file cuddInt.h.

Definition at line 388 of file cuddInt.h.

Definition at line 390 of file cuddInt.h.

Definition at line 371 of file cuddInt.h.

Definition at line 372 of file cuddInt.h.

Definition at line 335 of file cuddInt.h.

Definition at line 378 of file cuddInt.h.

Definition at line 366 of file cuddInt.h.

Definition at line 360 of file cuddInt.h.

Definition at line 361 of file cuddInt.h.

Definition at line 405 of file cuddInt.h.

Definition at line 296 of file cuddInt.h.

Definition at line 363 of file cuddInt.h.

Definition at line 362 of file cuddInt.h.

Definition at line 313 of file cuddInt.h.

Definition at line 314 of file cuddInt.h.

unsigned int DdManager::slots

Definition at line 320 of file cuddInt.h.

Definition at line 332 of file cuddInt.h.

Definition at line 350 of file cuddInt.h.

Definition at line 317 of file cuddInt.h.

Definition at line 318 of file cuddInt.h.

Definition at line 379 of file cuddInt.h.

Definition at line 406 of file cuddInt.h.

Definition at line 407 of file cuddInt.h.

Definition at line 375 of file cuddInt.h.

Definition at line 376 of file cuddInt.h.

Definition at line 343 of file cuddInt.h.

Definition at line 341 of file cuddInt.h.

Definition at line 298 of file cuddInt.h.


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

Generated on Tue Jan 5 12:19:46 2010 for abc70930 by  doxygen 1.6.1