fdd_fprintset

void fdd_fprintset ( FILE *  , BDD    ) Prints a bdd for a finite domain block to a file. Prints the BDD r to ofile using a set notation as in bdd_printset but with the index of the finite domain blocks included instead of the BDD variables. It is possible to specify a printing callback function with fdd_file_hook or fdd_strm_hook which can be used to print the FDD identifier in a readable form. See also: bdd_printset, fdd_file_hook, fdd_strm_hook

---