/* NAME {* bdd\_printall *} EXTRA {* bdd\_fprintall *} SECTION {* fileio *} SHORT {* prints all used entries in the node table *} PROTO {* void bdd_printall(void) void bdd_fprintall(FILE* ofile) *} DESCR {* Prints to either stdout or the file {\tt ofile} all the used entries in the main node table. The format is: \begin{Ill} {\tt [Nodenum] Var/level Low High} \end{Ill} Where {\tt Nodenum} is the position in the node table and level is the position in the current variable order. *} ALSO {* bdd\_printtable, bdd\_printset, bdd\_printdot *} */ void bdd_printall(void) { bdd_fprintall(stdout); }
/* NAME {* bdd\_printall *} EXTRA {* bdd\_fprintall *} SECTION {* fileio *} SHORT {* prints all used entries in the node table *} PROTO {* void bdd_printall(void) void bdd_fprintall(FILE* ofile) *} DESCR {* Prints to either stdout or the file {\tt ofile} all the used entries in the main node table. The format is: \begin{Ill} {\tt [Nodenum] Var/level Low High} \end{Ill} Where {\tt Nodenum} is the position in the node table and level is the position in the current variable order. *} ALSO {* bdd\_printtable, bdd\_printset, bdd\_printdot *} */ void bdd_printall(void) { BUDDY_PROLOGUE; bdd_fprintall(stdout); RETURN(); }