s_bddGbcStat Struct Reference
[Kernel BDD operations and data structures]

Status information about garbage collections. More...

#include <bdd.h>

Data Fields
int	nodes
	Total number of allocated nodes in the nodetable.
int	freenodes
	Number of free nodes in the nodetable.
long	time
	Time used for garbage collection this time.
long	sumtime
	Total time used for garbage collection.
int	num
	Number of garbage collections done until now.

---

Detailed Description

Status information about garbage collections.

See also:

bdd_gbc_hook

Definition at line 124 of file bdd.h.

---

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

• bdd.h

---