private class InfoTreeModel.RulesNode extends InfoTreeNode
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
allowsChildren, children, EMPTY_ENUMERATION, parent, userObject
Constructor and Description |
---|
InfoTreeModel.RulesNode(Properties ruleExplanations,
Goal goal) |
Modifier and Type | Method and Description |
---|---|
private int |
getChildCount(InfoTreeNode root) |
private String |
getName(InfoTreeNode t1) |
private void |
insertAndGroup(InfoTreeNode ins,
InfoTreeNode parent,
Properties ruleExplanations)
groups subsequent insertions with the same name under a new node
|
private List<NoPosTacletApp> |
sort(Set<NoPosTacletApp> set) |
getDescription, getTitle, setTitleToAltName
add, breadthFirstEnumeration, children, clone, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject, toString
private static final long serialVersionUID
InfoTreeModel.RulesNode(Properties ruleExplanations, Goal goal)
private int getChildCount(InfoTreeNode root)
private void insertAndGroup(InfoTreeNode ins, InfoTreeNode parent, Properties ruleExplanations)
private String getName(InfoTreeNode t1)
private List<NoPosTacletApp> sort(Set<NoPosTacletApp> set)