BuDDy Data Structures

Here are the data structures with brief descriptions:

s_bddCacheStat	Status information about cache usage
s_bddGbcStat	Status information about garbage collections
s_bddPair	Data type for representing a set of variable substitutions for use with bdd_replace
s_bddStat	Status information about the bdd package
s_bvec	A boolean vector

---