bdd_fprinttable

void bdd_fprinttable ( FILE *  ofile, BDD  r   ) Prints the node table entries used by a bdd to a file. Prints to the file ofile all the entries in the main node table used by r. The format is: [Nodenum] Var/Level : Low High Where Nodenum is the position in the node table and Level is the position in the current variable order. See also: bdd_printtable, bdd_printall, bdd_printset, bdd_printdot

---