next up previous contents index
Next: A Frequently Asked Questions Up: 8 Tree Editing Previous: 8.3 The Generic Textual

8.4 The Function Refinement Tree Editor (TFRT)


This editor is intended to be used for making function refinement trees, previously called function decomposition trees  in [18]. It has a soft constraint that there is a single root node and that all nodes are reachable from that root node.

Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam