|
Functions |
| void | bdd_printall (void) |
| | Prints all used entries in the node table to stdout.
|
| void | bdd_fprintall (FILE *ofile) |
| | Prints all used entries in the node table to a file.
|
| void | bdd_fprinttable (FILE *ofile, BDD r) |
| | Prints the node table entries used by a bdd to a file.
|
| void | bdd_printtable (BDD r) |
| | Prints the node table entries used by a bdd to stdout.
|
| void | bdd_fprintset (FILE *ofile, BDD r) |
| | Prints the set of truth assignments specified by a bdd to a file.
|
| void | bdd_printset (BDD r) |
| | Prints the set of truth assignments specified by a bdd to stdout.
|
| int | bdd_fnprintdot (char *fname, BDD r) |
| | Prints a description of a bdd in dot format to a file specified by filename.
|
| void | bdd_fprintdot (FILE *ofile, BDD r) |
| | Prints a description of a bdd in dot format to a file.
|
| void | bdd_printdot (BDD r) |
| | Prints a description of a bdd in dot format to stdout.
|
| int | bdd_fnsave (char *fname, BDD r) |
| | Saves a bdd to a file specified by filename.
|
| int | bdd_save (FILE *ofile, BDD r) |
| | Saves a bdd to a file.
|
| int | bdd_fnload (char *fname, BDD *r) |
| | Loads a bdd from a file specified by filename.
|
| int | bdd_load (FILE *ifile, BDD *r) |
| | Loads a bdd from a file.
|
