This module adds plotting capabilities toDYTermsand Traces. The output of the functions in this module can be passed to the command line utility dot which is part of graphviz.
DYTerm
dot