#include <cuddInt.h>
Definition at line 294 of file cuddInt.h.
double DdManager::allocated |
double DdManager::cachecollisions |
double DdManager::cachedeletions |
double DdManager::cacheHits |
double DdManager::cacheinserts |
double DdManager::cacheLastInserts |
double DdManager::cacheMisses |
unsigned int DdManager::cacheSlots |
unsigned int DdManager::countDead |
unsigned int DdManager::dead |
unsigned DdManager::deadMask |
unsigned int DdManager::deadZ |
CUDD_VALUE_TYPE DdManager::epsilon |
FILE* DdManager::err |
double DdManager::gcFrac |
long DdManager::GCTime |
char* DdManager::hooks |
unsigned int DdManager::initSlots |
long* DdManager::interact |
int* DdManager::invperm |
int* DdManager::invpermZ |
unsigned int DdManager::keys |
unsigned int DdManager::keysZ |
long* DdManager::linear |
unsigned int DdManager::looseUpTo |
int* DdManager::map |
unsigned int DdManager::maxCacheHard |
double DdManager::maxGrowth |
double DdManager::maxGrowthAlt |
unsigned int DdManager::maxLive |
long DdManager::maxmem |
long DdManager::memused |
unsigned int DdManager::minDead |
double DdManager::minHit |
unsigned int DdManager::nextDyn |
FILE* DdManager::out |
unsigned int DdManager::peakLiveNodes |
int* DdManager::perm |
int* DdManager::permZ |
double DdManager::reclaimed |
long DdManager::reordTime |
int DdManager::size |
int DdManager::sizeZ |
unsigned int DdManager::slots |
char* DdManager::stash |
double DdManager::totCachehits |
double DdManager::totCacheMisses |