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() |
TreeNode |
getChildAt(int childIndex) |
int |
getChildCount() |
TreeNode |
getParent() |
boolean |
isLeaf() |
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 TreeNode getChildAt(int childIndex)
getChildAt
in interface TreeNode
getChildAt
in class GUIAbstractTreeNode
public int getChildCount()
getChildCount
in interface TreeNode
getChildCount
in class GUIAbstractTreeNode
public TreeNode getParent()
getParent
in interface TreeNode
getParent
in class GUIAbstractTreeNode
public boolean isLeaf()
isLeaf
in interface TreeNode
isLeaf
in class GUIAbstractTreeNode
public void flushCache()
flushCache
in class GUIAbstractTreeNode