bdd_stats

void bdd_stats ( bddStat *  stat  )  Returns some status information about the bdd package. This function acquires information about the internal state of the bdd package. The status information is written into the stat argument. See also: bddStat

---