bdd_printstat

void bdd_printstat ( void   )  Print cache statistics to stdout. Prints information about the cache performance on standard output. The information contains the number of accesses to the unique node table, the number of times a node was (not) found there and how many times a hash chain had to traversed. Hit and miss count is also given for the operator caches. See also: bddCacheStat, bdd_cachestats, bdd_fprintstat

---