bdd_cachestats

void bdd_cachestats ( bddCacheStat *  s  )  Fetch cache access usage. Fetches cache usage information and stores it in s. The fields of s can be found in the documentation for bddCacheStat. This function may or may not be compiled into the BuDDy package - depending on the setup at compile time of BuDDy. See also: bddCacheStat, bdd_printstat

---