public class GUIOneStepChildTreeNode extends GUIAbstractTreeNode
OneStepSimplifier
.
These nodes are leaves.Modifier and Type | Field and Description |
---|---|
private RuleApp |
app |
private GUIAbstractTreeNode |
parent |
Constructor and Description |
---|
GUIOneStepChildTreeNode(GUIProofTreeModel tree,
GUIAbstractTreeNode parent,
RuleApp app) |
Modifier and Type | Method and Description |
---|---|
void |
flushCache() |
javax.swing.tree.TreeNode |
getChildAt(int childIndex) |
int |
getChildCount() |
javax.swing.tree.TreeNode |
getParent() |
boolean |
isLeaf() |
java.lang.String |
toString() |
children, ensureBranchLabelIsSet, findBranch, findChild, getAllowsChildren, getIndex, getNode, getPath, getProofTreeModel
private final RuleApp app
private final GUIAbstractTreeNode parent
public GUIOneStepChildTreeNode(GUIProofTreeModel tree, GUIAbstractTreeNode parent, RuleApp app)
public javax.swing.tree.TreeNode getChildAt(int childIndex)
getChildAt
in interface javax.swing.tree.TreeNode
getChildAt
in class GUIAbstractTreeNode
public int getChildCount()
getChildCount
in interface javax.swing.tree.TreeNode
getChildCount
in class GUIAbstractTreeNode
public javax.swing.tree.TreeNode getParent()
getParent
in interface javax.swing.tree.TreeNode
getParent
in class GUIAbstractTreeNode
public boolean isLeaf()
isLeaf
in interface javax.swing.tree.TreeNode
isLeaf
in class GUIAbstractTreeNode
public java.lang.String toString()
toString
in class java.lang.Object
public void flushCache()
flushCache
in class GUIAbstractTreeNode