#include <cuddBdd.h>
Collaboration diagram for bdd_stats:
Public Attributes | |
| struct { | |
| bdd_cache_stats hashtable | |
| bdd_cache_stats itetable | |
| bdd_cache_stats consttable | |
| bdd_cache_stats adhoc | |
| } | cache |
| struct { | |
| unsigned int calls | |
| struct { | |
| unsigned int trivial | |
| unsigned int cached | |
| unsigned int full | |
| } returns | |
| } | ITE_ops |
| struct { | |
| unsigned int calls | |
| struct { | |
| unsigned int trivial | |
| unsigned int cached | |
| unsigned int full | |
| } returns | |
| } | ITE_constant_ops |
| struct { | |
| unsigned int calls | |
| struct { | |
| unsigned int trivial | |
| unsigned int cached | |
| unsigned int full | |
| } returns | |
| } | adhoc_ops |
| struct { | |
| unsigned int total | |
| } | blocks |
| struct { | |
| unsigned int used | |
| unsigned int unused | |
| unsigned int total | |
| unsigned int peak | |
| } | nodes |
| struct { | |
| unsigned int used | |
| unsigned int unused | |
| unsigned int total | |
| unsigned int blocks | |
| } | extptrs |
| struct { | |
| unsigned int times | |
| unsigned int nodes_collected | |
| long runtime | |
| } | gc |
| struct { | |
| int first_sbrk | |
| int last_sbrk | |
| unsigned int manager | |
| unsigned int nodes | |
| unsigned int hashtable | |
| unsigned int ext_ptrs | |
| unsigned int ITE_cache | |
| unsigned int ITE_const_cache | |
| unsigned int adhoc_cache | |
| unsigned int total | |
| } | memory |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.18