Default garbage collection handler.
The default garbage collection handler prints to stdout:
- The number of garbage collections done.
- The total number of nodes allocated.
- The total number of free nodes.
- The time taken by garbage collecting this time.
- The total time taken by all garbage collections.
- See also:
- bdd_gbc_hook
