Package | Description |
---|---|
de.uka.ilkd.key.gui.prooftree |
Modifier and Type | Class and Description |
---|---|
class |
GUIOneStepChildTreeNode
A special kind of gui proof tree node to show intermediate intermediate steps of the
OneStepSimplifier . |
Modifier and Type | Method and Description |
---|---|
GUIAbstractTreeNode |
GUIProofTreeModel.find(Node n)
Return the GUIProofTreeNode corresponding to node n, if one
has already been generated, and null otherwise.
|
GUIAbstractTreeNode |
GUIProofTreeModel.getProofTreeNode(Node n)
Return the GUIProofTreeNode corresponding to node n.
|
Modifier and Type | Method and Description |
---|---|
void |
ProofTreeView.ProofRenderer.add(Styler<GUIAbstractTreeNode> guiAbstractTreeNodeStyler) |
Constructor and Description |
---|
GUIOneStepChildTreeNode(GUIProofTreeModel tree,
GUIAbstractTreeNode parent,
RuleApp app) |
Copyright © 2003-2019 The KeY-Project.