next up previous contents
Next: An example of a Up: Quick Start - The Previous: Reusing functions (Macros)   Contents

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(or(x4, x5, -x6))


prints the following to standard output


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


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



John Franco 2011-09-15