| An implementation of TreeModel that can be displayed using the
JTree class framework and reflects the state of a
de.uka.ilkd.key.proof.Proof object.
The tree structure of the proof is transformed, so that nodes
following each other on a long branch are represented as kin, while
new sutrees are displayed for branching points.
There are thus two kinds of node in this TreeModel,
de.uka.ilkd.key.gui.prooftree.GUIProofTreeNode s, representing nodes of
the displayed proof, and
de.uka.ilkd.key.gui.prooftree.GUIBranchNode s
representing branching points. |