fdd_printset

void fdd_printset ( BDD   )  Prints a bdd for a finite domain block to stdout. Prints the BDD r 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

---