bdd_done

void bdd_done ( void   )  Resets the bdd package. This function frees all memory used by the bdd package and resets the package to it's initial state. See also: bdd_init

---