bdd_save

int bdd_save ( FILE *  ofile, BDD  r   ) Saves a bdd to a file. Saves the nodes used by r to the file ofile which must be opened for writing. See also: bdd_fnsave, bdd_load Returns: Zero on success, otherwise an error code from bdd.h.

---