#include <cuddInt.h>

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

unsigned int	reorderings

unsigned int	maxReorderings

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

unsigned int	randomizeOrder

DdLocalCache *	localCaches

char *	hooks

DdHook *	preGCHook

DdHook *	postGCHook

DdHook *	preReorderingHook

DdHook *	postReorderingHook

FILE *	out

FILE *	err

Cudd_ErrorType	errorCode

unsigned long	startTime

unsigned long	timeLimit

unsigned long	memused

unsigned long	maxmem

unsigned long	maxmemhard

int	garbageCollections

unsigned long	GCTime

unsigned long	reordTime

double	totCachehits

double	totCacheMisses

double	cachecollisions

double	cacheinserts

double	cacheLastInserts

double	cachedeletions

unsigned int	peakLiveNodes

Detailed Description

Definition at line 326 of file cuddInt.h.

Member Data Documentation

◆ acache

DdCache* DdManager::acache

Definition at line 335 of file cuddInt.h.

◆ allocated

double DdManager::allocated

Definition at line 365 of file cuddInt.h.

◆ arcviolation

int DdManager::arcviolation

Definition at line 413 of file cuddInt.h.

◆ autoDyn

int DdManager::autoDyn

Definition at line 400 of file cuddInt.h.

◆ autoDynZ

int DdManager::autoDynZ

Definition at line 401 of file cuddInt.h.

◆ autoMethod

Cudd_ReorderingType DdManager::autoMethod

Definition at line 402 of file cuddInt.h.

◆ autoMethodZ

Cudd_ReorderingType DdManager::autoMethodZ

Definition at line 403 of file cuddInt.h.

◆ background

DdNode* DdManager::background

Definition at line 333 of file cuddInt.h.

◆ cache

DdCache* DdManager::cache

Definition at line 336 of file cuddInt.h.

◆ cachecollisions

double DdManager::cachecollisions

Definition at line 437 of file cuddInt.h.

◆ cachedeletions

double DdManager::cachedeletions

Definition at line 440 of file cuddInt.h.

◆ cacheHits

double DdManager::cacheHits

Definition at line 340 of file cuddInt.h.

◆ cacheinserts

double DdManager::cacheinserts

Definition at line 438 of file cuddInt.h.

◆ cacheLastInserts

double DdManager::cacheLastInserts

Definition at line 439 of file cuddInt.h.

◆ cacheMisses

double DdManager::cacheMisses

Definition at line 339 of file cuddInt.h.

◆ cacheShift

int DdManager::cacheShift

Definition at line 338 of file cuddInt.h.

◆ cacheSlack

int DdManager::cacheSlack

Definition at line 342 of file cuddInt.h.

◆ cacheSlots

unsigned int DdManager::cacheSlots

Definition at line 337 of file cuddInt.h.

◆ constants

DdSubtable DdManager::constants

Definition at line 351 of file cuddInt.h.

◆ countDead

unsigned int DdManager::countDead

Definition at line 407 of file cuddInt.h.

◆ dead

unsigned int DdManager::dead

Definition at line 355 of file cuddInt.h.

◆ deadMask

unsigned DdManager::deadMask

Definition at line 387 of file cuddInt.h.

◆ deadZ

unsigned int DdManager::deadZ

Definition at line 356 of file cuddInt.h.

◆ deathRow

DdNode** DdManager::deathRow

Definition at line 384 of file cuddInt.h.

◆ deathRowDepth

int DdManager::deathRowDepth

Definition at line 385 of file cuddInt.h.

◆ epsilon

CUDD_VALUE_TYPE DdManager::epsilon

Definition at line 390 of file cuddInt.h.

◆ err

FILE* DdManager::err

Definition at line 424 of file cuddInt.h.

◆ errorCode

Cudd_ErrorType DdManager::errorCode

Definition at line 425 of file cuddInt.h.

◆ garbageCollections

int DdManager::garbageCollections

Definition at line 432 of file cuddInt.h.

◆ gcEnabled

int DdManager::gcEnabled

Definition at line 360 of file cuddInt.h.

◆ gcFrac

double DdManager::gcFrac

Definition at line 359 of file cuddInt.h.

◆ GCTime

unsigned long DdManager::GCTime

Definition at line 433 of file cuddInt.h.

◆ groupcheck

Cudd_AggregationType DdManager::groupcheck

Definition at line 410 of file cuddInt.h.

◆ hooks

char* DdManager::hooks

Definition at line 418 of file cuddInt.h.

◆ initSlots

unsigned int DdManager::initSlots

Definition at line 363 of file cuddInt.h.

◆ interact

long* DdManager::interact

Definition at line 377 of file cuddInt.h.

◆ invperm

int* DdManager::invperm

Definition at line 371 of file cuddInt.h.

◆ invpermZ

int* DdManager::invpermZ

Definition at line 372 of file cuddInt.h.

◆ isolated

int DdManager::isolated

Definition at line 368 of file cuddInt.h.

◆ keys

unsigned int DdManager::keys

Definition at line 353 of file cuddInt.h.

◆ keysZ

unsigned int DdManager::keysZ

Definition at line 354 of file cuddInt.h.

◆ linear

long* DdManager::linear

Definition at line 378 of file cuddInt.h.

◆ linearSize

int DdManager::linearSize

Definition at line 376 of file cuddInt.h.

◆ localCaches

DdLocalCache* DdManager::localCaches

Definition at line 417 of file cuddInt.h.

◆ looseUpTo

unsigned int DdManager::looseUpTo

Definition at line 361 of file cuddInt.h.

◆ map

int* DdManager::map

Definition at line 374 of file cuddInt.h.

◆ maxCacheHard

unsigned int DdManager::maxCacheHard

Definition at line 343 of file cuddInt.h.

◆ maxGrowth

double DdManager::maxGrowth

Definition at line 397 of file cuddInt.h.

◆ maxGrowthAlt

double DdManager::maxGrowthAlt

Definition at line 398 of file cuddInt.h.

◆ maxLive

unsigned int DdManager::maxLive

Definition at line 357 of file cuddInt.h.

◆ maxmem

unsigned long DdManager::maxmem

Definition at line 430 of file cuddInt.h.

◆ maxmemhard

unsigned long DdManager::maxmemhard

Definition at line 431 of file cuddInt.h.

◆ maxReorderings

unsigned int DdManager::maxReorderings

Definition at line 394 of file cuddInt.h.

◆ maxSize

int DdManager::maxSize

Definition at line 347 of file cuddInt.h.

◆ maxSizeZ

int DdManager::maxSizeZ

Definition at line 348 of file cuddInt.h.

◆ memoryList

DdNode** DdManager::memoryList

Definition at line 380 of file cuddInt.h.

◆ memused

unsigned long DdManager::memused

Definition at line 429 of file cuddInt.h.

◆ minDead

unsigned int DdManager::minDead

Definition at line 358 of file cuddInt.h.

◆ minHit

double DdManager::minHit

Definition at line 341 of file cuddInt.h.

◆ minusinfinity

DdNode* DdManager::minusinfinity

Definition at line 332 of file cuddInt.h.

◆ nextDead

int DdManager::nextDead

Definition at line 386 of file cuddInt.h.

◆ nextDyn

unsigned int DdManager::nextDyn

Definition at line 406 of file cuddInt.h.

◆ nextFree

DdNode* DdManager::nextFree

Definition at line 381 of file cuddInt.h.

◆ numberXovers

int DdManager::numberXovers

Definition at line 415 of file cuddInt.h.

◆ one

DdNode* DdManager::one

Definition at line 329 of file cuddInt.h.

◆ out

FILE* DdManager::out

Definition at line 423 of file cuddInt.h.

◆ peakLiveNodes

unsigned int DdManager::peakLiveNodes

Definition at line 445 of file cuddInt.h.

◆ perm

int* DdManager::perm

Definition at line 369 of file cuddInt.h.

◆ permZ

int* DdManager::permZ

Definition at line 370 of file cuddInt.h.

◆ plusinfinity

DdNode* DdManager::plusinfinity

Definition at line 331 of file cuddInt.h.

◆ populationSize

int DdManager::populationSize

Definition at line 414 of file cuddInt.h.

◆ postGCHook

DdHook* DdManager::postGCHook

Definition at line 420 of file cuddInt.h.

◆ postReorderingHook

DdHook* DdManager::postReorderingHook

Definition at line 422 of file cuddInt.h.

◆ preGCHook

DdHook* DdManager::preGCHook

Definition at line 419 of file cuddInt.h.

◆ preReorderingHook

DdHook* DdManager::preReorderingHook

Definition at line 421 of file cuddInt.h.

◆ randomizeOrder

unsigned int DdManager::randomizeOrder

Definition at line 416 of file cuddInt.h.

◆ realign

int DdManager::realign

Definition at line 404 of file cuddInt.h.

◆ realignZ

int DdManager::realignZ

Definition at line 405 of file cuddInt.h.

◆ reclaimed

double DdManager::reclaimed

Definition at line 367 of file cuddInt.h.

◆ recomb

int DdManager::recomb

Definition at line 411 of file cuddInt.h.

◆ reordCycle

int DdManager::reordCycle

Definition at line 399 of file cuddInt.h.

◆ reordered

int DdManager::reordered

Definition at line 392 of file cuddInt.h.

◆ reorderings

unsigned int DdManager::reorderings

Definition at line 393 of file cuddInt.h.

◆ reordTime

unsigned long DdManager::reordTime

Definition at line 434 of file cuddInt.h.

◆ sentinel

DdNode DdManager::sentinel

Definition at line 328 of file cuddInt.h.

◆ siftMaxSwap

int DdManager::siftMaxSwap

Definition at line 396 of file cuddInt.h.

◆ siftMaxVar

int DdManager::siftMaxVar

Definition at line 395 of file cuddInt.h.

◆ size

int DdManager::size

Definition at line 345 of file cuddInt.h.

◆ sizeZ

int DdManager::sizeZ

Definition at line 346 of file cuddInt.h.

◆ slots

unsigned int DdManager::slots

Definition at line 352 of file cuddInt.h.

◆ stack

DdNode** DdManager::stack

Definition at line 364 of file cuddInt.h.

◆ startTime

unsigned long DdManager::startTime

Definition at line 426 of file cuddInt.h.

◆ stash

char* DdManager::stash

Definition at line 382 of file cuddInt.h.

◆ subtables

DdSubtable* DdManager::subtables

Definition at line 349 of file cuddInt.h.

◆ subtableZ

DdSubtable* DdManager::subtableZ

Definition at line 350 of file cuddInt.h.

◆ symmviolation

int DdManager::symmviolation

Definition at line 412 of file cuddInt.h.

◆ timeLimit

unsigned long DdManager::timeLimit

Definition at line 427 of file cuddInt.h.

◆ totCachehits

double DdManager::totCachehits

Definition at line 435 of file cuddInt.h.

◆ totCacheMisses

double DdManager::totCacheMisses

Definition at line 436 of file cuddInt.h.

◆ tree

MtrNode* DdManager::tree

Definition at line 408 of file cuddInt.h.

◆ treeZ

MtrNode* DdManager::treeZ

Definition at line 409 of file cuddInt.h.

◆ univ

DdNode** DdManager::univ

Definition at line 375 of file cuddInt.h.

◆ vars

DdNode** DdManager::vars

Definition at line 373 of file cuddInt.h.

◆ zero

DdNode* DdManager::zero

Definition at line 330 of file cuddInt.h.

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

/home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h

Public Attributes