---

bdd_cache_stats Struct Reference

#include <cuddBdd.h>

List of all members.

Public Attributes
unsigned int	hits
unsigned int	misses
unsigned int	collisions
unsigned int	inserts

---

Member Data Documentation

unsigned int bdd_cache_stats::collisions

Definition at line 174 of file cuddBdd.h.

unsigned int bdd_cache_stats::hits

Definition at line 172 of file cuddBdd.h.

unsigned int bdd_cache_stats::inserts

Definition at line 175 of file cuddBdd.h.

unsigned int bdd_cache_stats::misses

Definition at line 173 of file cuddBdd.h.

---

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

• cuddBdd.h

---