s_bddCacheStat Struct Reference
[Kernel BDD operations and data structures]

Status information about cache usage. More...

#include <bdd.h>

Data Fields
long unsigned int	uniqueAccess
	Number of accesses to the unique node table.
long unsigned int	uniqueChain
	Number of iterations through the cache chains in the unique node table.
long unsigned int	uniqueHit
	Number of entries actually found in the the unique node table.
long unsigned int	uniqueMiss
	Number of entries not found in the the unique node table.
long unsigned int	opHit
	Number of entries found in the operator caches.
long unsigned int	opMiss
	Number of entries not found in the operator caches.
long unsigned int	swapCount
	Number of variable swaps in reordering.

---

Detailed Description

Status information about cache usage.

See also:

bdd_cachestats

Definition at line 141 of file bdd.h.

---

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

• bdd.h

---