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