Go backward to `desing/maxnnc` Go up to Procedures Go forward to `desing/monsequence` |
It is also an interface procedure under the short name maketree. It retrieves the resolution tree from a saved computation and exports it in HTML format into the file tree.html in the directory given by htmlpath. This is a wrapper for the procedure `desing/dumpTree` specializing it to this task.