Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members  

DdManager Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdManager:

Collaboration graph
[legend]
List of all members.

Public Attributes

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
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

Member Data Documentation

DdCache* DdManager::acache
 

Definition at line 254 of file cuddInt.h.

double DdManager::allocated
 

Definition at line 284 of file cuddInt.h.

int DdManager::arcviolation
 

Definition at line 329 of file cuddInt.h.

int DdManager::autoDyn
 

Definition at line 316 of file cuddInt.h.

int DdManager::autoDynZ
 

Definition at line 317 of file cuddInt.h.

Cudd_ReorderingType DdManager::autoMethod
 

Definition at line 318 of file cuddInt.h.

Cudd_ReorderingType DdManager::autoMethodZ
 

Definition at line 319 of file cuddInt.h.

DdNode* DdManager::background
 

Definition at line 252 of file cuddInt.h.

DdCache* DdManager::cache
 

Definition at line 255 of file cuddInt.h.

double DdManager::cachecollisions
 

Definition at line 357 of file cuddInt.h.

double DdManager::cachedeletions
 

Definition at line 360 of file cuddInt.h.

double DdManager::cacheHits
 

Definition at line 259 of file cuddInt.h.

double DdManager::cacheinserts
 

Definition at line 358 of file cuddInt.h.

double DdManager::cacheLastInserts
 

Definition at line 359 of file cuddInt.h.

double DdManager::cacheMisses
 

Definition at line 258 of file cuddInt.h.

int DdManager::cacheShift
 

Definition at line 257 of file cuddInt.h.

int DdManager::cacheSlack
 

Definition at line 261 of file cuddInt.h.

unsigned int DdManager::cacheSlots
 

Definition at line 256 of file cuddInt.h.

DdSubtable DdManager::constants
 

Definition at line 270 of file cuddInt.h.

unsigned int DdManager::countDead
 

Definition at line 323 of file cuddInt.h.

unsigned int DdManager::dead
 

Definition at line 274 of file cuddInt.h.

unsigned DdManager::deadMask
 

Definition at line 306 of file cuddInt.h.

unsigned int DdManager::deadZ
 

Definition at line 275 of file cuddInt.h.

DdNode** DdManager::deathRow
 

Definition at line 303 of file cuddInt.h.

int DdManager::deathRowDepth
 

Definition at line 304 of file cuddInt.h.

CUDD_VALUE_TYPE DdManager::epsilon
 

Definition at line 309 of file cuddInt.h.

FILE* DdManager::err
 

Definition at line 342 of file cuddInt.h.

Cudd_ErrorType DdManager::errorCode
 

Definition at line 347 of file cuddInt.h.

int DdManager::garbageCollections
 

Definition at line 352 of file cuddInt.h.

int DdManager::gcEnabled
 

Definition at line 279 of file cuddInt.h.

double DdManager::gcFrac
 

Definition at line 278 of file cuddInt.h.

long DdManager::GCTime
 

Definition at line 353 of file cuddInt.h.

Cudd_AggregationType DdManager::groupcheck
 

Definition at line 326 of file cuddInt.h.

char* DdManager::hooks
 

Definition at line 336 of file cuddInt.h.

unsigned int DdManager::initSlots
 

Definition at line 282 of file cuddInt.h.

long* DdManager::interact
 

Definition at line 296 of file cuddInt.h.

int* DdManager::invperm
 

Definition at line 290 of file cuddInt.h.

int* DdManager::invpermZ
 

Definition at line 291 of file cuddInt.h.

int DdManager::isolated
 

Definition at line 287 of file cuddInt.h.

unsigned int DdManager::keys
 

Definition at line 272 of file cuddInt.h.

unsigned int DdManager::keysZ
 

Definition at line 273 of file cuddInt.h.

long* DdManager::linear
 

Definition at line 297 of file cuddInt.h.

int DdManager::linearSize
 

Definition at line 295 of file cuddInt.h.

DdLocalCache* DdManager::localCaches
 

Definition at line 332 of file cuddInt.h.

unsigned int DdManager::looseUpTo
 

Definition at line 280 of file cuddInt.h.

int* DdManager::map
 

Definition at line 293 of file cuddInt.h.

unsigned int DdManager::maxCacheHard
 

Definition at line 262 of file cuddInt.h.

double DdManager::maxGrowth
 

Definition at line 315 of file cuddInt.h.

unsigned int DdManager::maxLive
 

Definition at line 276 of file cuddInt.h.

long DdManager::maxmem
 

Definition at line 350 of file cuddInt.h.

long DdManager::maxmemhard
 

Definition at line 351 of file cuddInt.h.

int DdManager::maxSize
 

Definition at line 266 of file cuddInt.h.

int DdManager::maxSizeZ
 

Definition at line 267 of file cuddInt.h.

DdNode** DdManager::memoryList
 

Definition at line 299 of file cuddInt.h.

long DdManager::memused
 

Definition at line 349 of file cuddInt.h.

unsigned int DdManager::minDead
 

Definition at line 277 of file cuddInt.h.

double DdManager::minHit
 

Definition at line 260 of file cuddInt.h.

DdNode* DdManager::minusinfinity
 

Definition at line 251 of file cuddInt.h.

int DdManager::nextDead
 

Definition at line 305 of file cuddInt.h.

unsigned int DdManager::nextDyn
 

Definition at line 322 of file cuddInt.h.

DdNode* DdManager::nextFree
 

Definition at line 300 of file cuddInt.h.

int DdManager::numberXovers
 

Definition at line 331 of file cuddInt.h.

DdNode* DdManager::one
 

Definition at line 248 of file cuddInt.h.

FILE* DdManager::out
 

Definition at line 341 of file cuddInt.h.

unsigned int DdManager::peakLiveNodes
 

Definition at line 365 of file cuddInt.h.

int* DdManager::perm
 

Definition at line 288 of file cuddInt.h.

int* DdManager::permZ
 

Definition at line 289 of file cuddInt.h.

DdNode* DdManager::plusinfinity
 

Definition at line 250 of file cuddInt.h.

int DdManager::populationSize
 

Definition at line 330 of file cuddInt.h.

DdHook* DdManager::postGCHook
 

Definition at line 338 of file cuddInt.h.

DdHook* DdManager::postReorderingHook
 

Definition at line 340 of file cuddInt.h.

DdHook* DdManager::preGCHook
 

Definition at line 337 of file cuddInt.h.

DdHook* DdManager::preReorderingHook
 

Definition at line 339 of file cuddInt.h.

int DdManager::realign
 

Definition at line 320 of file cuddInt.h.

int DdManager::realignZ
 

Definition at line 321 of file cuddInt.h.

double DdManager::reclaimed
 

Definition at line 286 of file cuddInt.h.

int DdManager::recomb
 

Definition at line 327 of file cuddInt.h.

int DdManager::reordered
 

Definition at line 311 of file cuddInt.h.

int DdManager::reorderings
 

Definition at line 312 of file cuddInt.h.

long DdManager::reordTime
 

Definition at line 354 of file cuddInt.h.

DdNode DdManager::sentinel
 

Definition at line 247 of file cuddInt.h.

int DdManager::siftMaxSwap
 

Definition at line 314 of file cuddInt.h.

int DdManager::siftMaxVar
 

Definition at line 313 of file cuddInt.h.

int DdManager::size
 

Definition at line 264 of file cuddInt.h.

int DdManager::sizeZ
 

Definition at line 265 of file cuddInt.h.

unsigned int DdManager::slots
 

Definition at line 271 of file cuddInt.h.

DdNode** DdManager::stack
 

Definition at line 283 of file cuddInt.h.

char* DdManager::stash
 

Definition at line 301 of file cuddInt.h.

DdSubtable* DdManager::subtables
 

Definition at line 268 of file cuddInt.h.

DdSubtable* DdManager::subtableZ
 

Definition at line 269 of file cuddInt.h.

int DdManager::symmviolation
 

Definition at line 328 of file cuddInt.h.

double DdManager::totCachehits
 

Definition at line 355 of file cuddInt.h.

double DdManager::totCacheMisses
 

Definition at line 356 of file cuddInt.h.

MtrNode* DdManager::tree
 

Definition at line 324 of file cuddInt.h.

MtrNode* DdManager::treeZ
 

Definition at line 325 of file cuddInt.h.

DdNode** DdManager::univ
 

Definition at line 294 of file cuddInt.h.

DdNode** DdManager::vars
 

Definition at line 292 of file cuddInt.h.

DdNode* DdManager::zero
 

Definition at line 249 of file cuddInt.h.


The documentation for this struct was generated from the following file:
Generated on Sun Dec 12 19:22:42 2004 for SystemC2.0.1(excludingMSLib)(IncludingSCV) by doxygen1.2.18