binary decision diagrams (BDD)

[Wild, Marcel, Dr <mwild@sun.ac.za>]

Hello every body,
I'm new here and this is my first question.
I really don't know anything about Python (I use Mathematica) but with the help of others learned that

g=expr2bdd(f)

makes the BDD g of a Boolean function f.  But what is the easiest (fool-proof) way to print out the diagram of g (i.e. the usual binary tree) ?

The integrity and confidentiality of this email is governed by these terms / Die integriteit en vertroulikheid van hierdie e-pos word deur die volgende bepalings gere?l. http://www.sun.ac.za/emaildisclaimer