bdd_printall

void bdd_printall ( void   )  Prints all used entries in the node table to stdout. Prints to stdout 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_fprintall, bdd_printtable, bdd_printset, bdd_printdot

---