s_bddStat Struct Reference
[Kernel BDD operations and data structures]

Status information about the bdd package. More...

#include <bdd.h>

Data Fields
long int	produced
	Total number of new nodes ever produced.
int	nodenum
	Currently allocated number of bdd nodes.
int	maxnodenum
	User defined maximum number of bdd nodes.
int	freenodes
	Number of currently free nodes.
int	minfreenodes
	Minimum number of nodes that should be left after a garbage collection.
int	varnum
	Number of defined bdd variables.
int	cachesize
	Number of entries in the internal caches.
int	gbcnum
	Number of garbage collections done until now.

---

Detailed Description

Status information about the bdd package.

See also:

bdd_stats

Definition at line 104 of file bdd.h.

---

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

• bdd.h

---