bdd_fprintall

void bdd_fprintall ( FILE *  ofile  )  Prints all used entries in the node table to a file. Prints to the file ofile all the used entries in the main node table. 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_printall, bdd_printtable, bdd_printset, bdd_printdot

---