bdd_printtable

void bdd_printtable ( BDD  r  )  Prints the node table entries used by a bdd to stdout. Prints to stdout 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_printall, bdd_printset, bdd_printdot

---