Go backward to `desing/dualgraph` Go up to Procedures Go forward to `desing/exchange`

`desing/dumpTree`

It generates the HTML code for a resolution tree, and writes it to the file tree.html in the directory given by htmlpath.

Input:

-

Output:

-