Printing functions

In canonical form files only, one may use print_tree or pprint_tree to print the truth table of a function as a BDD. For example,


print_tree(or3 (x4, x5, -x6))


prints the following to standard output


$\parbox{110mm}{ -{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-... ...}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}-{}- }$


See Page  for more information on the use of print directives.