---

DdManager Struct Reference

#include <cuddInt.h>

Collaboration diagram for DdManager:

[legend]List of all members.

Public Attributes
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
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
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:

• cuddInt.h

---