private class InfoTreeModel.RulesNode extends InfoTreeNode
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
RulesNode(java.util.Properties ruleExplanations,
Goal goal) |
Modifier and Type | Method and Description |
---|---|
private int |
getChildCount(InfoTreeNode root) |
private java.lang.String |
getName(InfoTreeNode t1) |
private void |
insertAndGroup(InfoTreeNode ins,
InfoTreeNode parent,
java.util.Properties ruleExplanations)
groups subsequent insertions with the same name under a new node
|
private java.util.List<NoPosTacletApp> |
sort(java.util.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
RulesNode(java.util.Properties ruleExplanations, Goal goal)
private int getChildCount(InfoTreeNode root)
private void insertAndGroup(InfoTreeNode ins, InfoTreeNode parent, java.util.Properties ruleExplanations)
private java.lang.String getName(InfoTreeNode t1)
private java.util.List<NoPosTacletApp> sort(java.util.Set<NoPosTacletApp> set)