Main Page
Modules
Data Structures
Files
Alphabetical List
Data Structures
Data Fields
All
Variables
Here is a list of all documented struct and union fields with links to the struct/union documentation for each field:
bitnum :
s_bvec
bitvec :
s_bvec
cachesize :
s_bddStat
freenodes :
s_bddStat
,
s_bddGbcStat
gbcnum :
s_bddStat
id :
s_bddPair
last :
s_bddPair
maxnodenum :
s_bddStat
minfreenodes :
s_bddStat
next :
s_bddPair
nodenum :
s_bddStat
nodes :
s_bddGbcStat
num :
s_bddGbcStat
opHit :
s_bddCacheStat
opMiss :
s_bddCacheStat
produced :
s_bddStat
result :
s_bddPair
sumtime :
s_bddGbcStat
swapCount :
s_bddCacheStat
time :
s_bddGbcStat
uniqueAccess :
s_bddCacheStat
uniqueChain :
s_bddCacheStat
uniqueHit :
s_bddCacheStat
uniqueMiss :
s_bddCacheStat
varnum :
s_bddStat
Generated on Mon Jul 23 13:25:18 2007 for BuDDy by
1.5.1