DdManager Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdManager:
Collaboration graph
[legend]

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
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
DdNode * nextFree
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
MtrNode * tree
MtrNode * treeZ
Cudd_AggregationType groupcheck
int recomb
int symmviolation
int arcviolation
int populationSize
int numberXovers
DdLocalCache * localCaches
char * hooks
DdHook * preGCHook
DdHook * postGCHook
DdHook * preReorderingHook
DdHook * postReorderingHook
FILE * out
FILE * err
Cudd_ErrorType errorCode
unsigned long memused
unsigned long maxmem
unsigned 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 337 of file cuddInt.h.

Field Documentation

DdCache* DdManager::acache

Definition at line 346 of file cuddInt.h.

double DdManager::allocated

Definition at line 376 of file cuddInt.h.

int DdManager::arcviolation

Definition at line 423 of file cuddInt.h.

int DdManager::autoDyn

Definition at line 410 of file cuddInt.h.

int DdManager::autoDynZ

Definition at line 411 of file cuddInt.h.

Cudd_ReorderingType DdManager::autoMethod

Definition at line 412 of file cuddInt.h.

Cudd_ReorderingType DdManager::autoMethodZ

Definition at line 413 of file cuddInt.h.

DdNode* DdManager::background

Definition at line 344 of file cuddInt.h.

DdCache* DdManager::cache

Definition at line 347 of file cuddInt.h.

double DdManager::cachecollisions

Definition at line 451 of file cuddInt.h.

double DdManager::cachedeletions

Definition at line 454 of file cuddInt.h.

double DdManager::cacheHits

Definition at line 351 of file cuddInt.h.

double DdManager::cacheinserts

Definition at line 452 of file cuddInt.h.

double DdManager::cacheLastInserts

Definition at line 453 of file cuddInt.h.

double DdManager::cacheMisses

Definition at line 350 of file cuddInt.h.

int DdManager::cacheShift

Definition at line 349 of file cuddInt.h.

int DdManager::cacheSlack

Definition at line 353 of file cuddInt.h.

unsigned int DdManager::cacheSlots

Definition at line 348 of file cuddInt.h.

DdSubtable DdManager::constants

Definition at line 362 of file cuddInt.h.

unsigned int DdManager::countDead

Definition at line 417 of file cuddInt.h.

unsigned int DdManager::dead

Definition at line 366 of file cuddInt.h.

unsigned DdManager::deadMask

Definition at line 398 of file cuddInt.h.

unsigned int DdManager::deadZ

Definition at line 367 of file cuddInt.h.

DdNode** DdManager::deathRow

Definition at line 395 of file cuddInt.h.

int DdManager::deathRowDepth

Definition at line 396 of file cuddInt.h.

CUDD_VALUE_TYPE DdManager::epsilon

Definition at line 401 of file cuddInt.h.

FILE* DdManager::err

Definition at line 436 of file cuddInt.h.

Cudd_ErrorType DdManager::errorCode

Definition at line 441 of file cuddInt.h.

int DdManager::garbageCollections

Definition at line 446 of file cuddInt.h.

int DdManager::gcEnabled

Definition at line 371 of file cuddInt.h.

double DdManager::gcFrac

Definition at line 370 of file cuddInt.h.

long DdManager::GCTime

Definition at line 447 of file cuddInt.h.

Cudd_AggregationType DdManager::groupcheck

Definition at line 420 of file cuddInt.h.

char* DdManager::hooks

Definition at line 430 of file cuddInt.h.

unsigned int DdManager::initSlots

Definition at line 374 of file cuddInt.h.

long* DdManager::interact

Definition at line 388 of file cuddInt.h.

int* DdManager::invperm

Definition at line 382 of file cuddInt.h.

int* DdManager::invpermZ

Definition at line 383 of file cuddInt.h.

int DdManager::isolated

Definition at line 379 of file cuddInt.h.

unsigned int DdManager::keys

Definition at line 364 of file cuddInt.h.

unsigned int DdManager::keysZ

Definition at line 365 of file cuddInt.h.

long* DdManager::linear

Definition at line 389 of file cuddInt.h.

int DdManager::linearSize

Definition at line 387 of file cuddInt.h.

DdLocalCache* DdManager::localCaches

Definition at line 426 of file cuddInt.h.

unsigned int DdManager::looseUpTo

Definition at line 372 of file cuddInt.h.

int* DdManager::map

Definition at line 385 of file cuddInt.h.

unsigned int DdManager::maxCacheHard

Definition at line 354 of file cuddInt.h.

double DdManager::maxGrowth

Definition at line 407 of file cuddInt.h.

double DdManager::maxGrowthAlt

Definition at line 408 of file cuddInt.h.

unsigned int DdManager::maxLive

Definition at line 368 of file cuddInt.h.

unsigned long DdManager::maxmem

Definition at line 444 of file cuddInt.h.

unsigned long DdManager::maxmemhard

Definition at line 445 of file cuddInt.h.

int DdManager::maxSize

Definition at line 358 of file cuddInt.h.

int DdManager::maxSizeZ

Definition at line 359 of file cuddInt.h.

DdNode** DdManager::memoryList

Definition at line 391 of file cuddInt.h.

unsigned long DdManager::memused

Definition at line 443 of file cuddInt.h.

unsigned int DdManager::minDead

Definition at line 369 of file cuddInt.h.

double DdManager::minHit

Definition at line 352 of file cuddInt.h.

DdNode* DdManager::minusinfinity

Definition at line 343 of file cuddInt.h.

int DdManager::nextDead

Definition at line 397 of file cuddInt.h.

unsigned int DdManager::nextDyn

Definition at line 416 of file cuddInt.h.

DdNode* DdManager::nextFree

Definition at line 392 of file cuddInt.h.

int DdManager::numberXovers

Definition at line 425 of file cuddInt.h.

DdNode* DdManager::one

Definition at line 340 of file cuddInt.h.

FILE* DdManager::out

Definition at line 435 of file cuddInt.h.

unsigned int DdManager::peakLiveNodes

Definition at line 459 of file cuddInt.h.

int* DdManager::perm

Definition at line 380 of file cuddInt.h.

int* DdManager::permZ

Definition at line 381 of file cuddInt.h.

DdNode* DdManager::plusinfinity

Definition at line 342 of file cuddInt.h.

int DdManager::populationSize

Definition at line 424 of file cuddInt.h.

DdHook* DdManager::postGCHook

Definition at line 432 of file cuddInt.h.

DdHook* DdManager::postReorderingHook

Definition at line 434 of file cuddInt.h.

DdHook* DdManager::preGCHook

Definition at line 431 of file cuddInt.h.

DdHook* DdManager::preReorderingHook

Definition at line 433 of file cuddInt.h.

int DdManager::realign

Definition at line 414 of file cuddInt.h.

int DdManager::realignZ

Definition at line 415 of file cuddInt.h.

double DdManager::reclaimed

Definition at line 378 of file cuddInt.h.

int DdManager::recomb

Definition at line 421 of file cuddInt.h.

int DdManager::reordCycle

Definition at line 409 of file cuddInt.h.

int DdManager::reordered

Definition at line 403 of file cuddInt.h.

int DdManager::reorderings

Definition at line 404 of file cuddInt.h.

long DdManager::reordTime

Definition at line 448 of file cuddInt.h.

DdNode DdManager::sentinel

Definition at line 339 of file cuddInt.h.

int DdManager::siftMaxSwap

Definition at line 406 of file cuddInt.h.

int DdManager::siftMaxVar

Definition at line 405 of file cuddInt.h.

int DdManager::size

Definition at line 356 of file cuddInt.h.

int DdManager::sizeZ

Definition at line 357 of file cuddInt.h.

unsigned int DdManager::slots

Definition at line 363 of file cuddInt.h.

DdNode** DdManager::stack

Definition at line 375 of file cuddInt.h.

char* DdManager::stash

Definition at line 393 of file cuddInt.h.

DdSubtable* DdManager::subtables

Definition at line 360 of file cuddInt.h.

DdSubtable* DdManager::subtableZ

Definition at line 361 of file cuddInt.h.

int DdManager::symmviolation

Definition at line 422 of file cuddInt.h.

double DdManager::totCachehits

Definition at line 449 of file cuddInt.h.

double DdManager::totCacheMisses

Definition at line 450 of file cuddInt.h.

MtrNode* DdManager::tree

Definition at line 418 of file cuddInt.h.

MtrNode* DdManager::treeZ

Definition at line 419 of file cuddInt.h.

DdNode** DdManager::univ

Definition at line 386 of file cuddInt.h.

DdNode** DdManager::vars

Definition at line 384 of file cuddInt.h.

DdNode* DdManager::zero

Definition at line 341 of file cuddInt.h.

The documentation for this struct was generated from the following file:
Generated on Tue Jan 12 13:57:32 2010 for glu-2.2 by  doxygen 1.6.1