Package | Description |
---|---|
org.processmining.ptandloggenerator.models | |
org.processmining.ptandloggenerator.parsers |
Modifier and Type | Field and Description |
---|---|
JavaTreeNode |
JavaTreeNode.leftmostLeaf
Leftmost (minimum) leaf node under this internal node (or this node for leaves).
|
JavaTreeNode |
JavaTreeNode.parent
The parent of this node.
|
JavaTreeNode |
JavaTreeNode.posorderNext
The next postorder node.
|
JavaTreeNode |
JavaTreeNode.preorderNext
The next preorder node.
|
JavaTreeNode |
JavaTreeNode.rightmostLeaf
Rightmost (maximum) leaf node under this internal node (or this node for leaves).
|
protected JavaTreeNode |
JavaTree.root
Root node of this tree
|
Modifier and Type | Field and Description |
---|---|
protected java.util.ArrayList<JavaTreeNode> |
JavaTreeNode.children
Array of child nodes that are attached below this internal node.
|
java.util.ArrayList<JavaTreeNode> |
JavaTree.nodes
The list of nodes of the tree indexed by their keys, indexed by key
|
Modifier and Type | Method and Description |
---|---|
JavaTreeNode |
JavaTreeNode.firstChild()
Get the first child of this node.
|
JavaTreeNode |
JavaTreeNode.getChild(int i)
Get a given child for this node, with range checking and casting.
|
JavaTreeNode |
JavaTree.getLeaf(int index)
Get the leaf associated with the given leaf index.
|
JavaTreeNode |
JavaTree.getLeftmostLeaf()
Left most leaf accessor.
|
JavaTreeNode |
JavaTree.getNodeByKey(int key)
Returns the node indexed by the given key.
|
JavaTreeNode |
JavaTree.getNodeByName(java.lang.String s)
Returns the node given by the string.
|
JavaTreeNode |
JavaTree.getRoot()
Root accessor.
|
JavaTreeNode |
JavaTreeNode.lastChild()
Get the last child of this node.
|
JavaTreeNode |
JavaTreeNode.parent()
Get the parent for this node.
|
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<JavaTreeNode> |
JavaTree.getLeaves(JavaTreeNode node)
Get the leaves under this node.
|
Modifier and Type | Method and Description |
---|---|
void |
JavaTreeNode.addChild(JavaTreeNode n)
Add a child to the end of the list of children.
|
boolean |
JavaTreeNode.equals(JavaTreeNode n)
Tests nodes for equality, based on the name of the node.
|
java.util.LinkedList<JavaTreeNode> |
JavaTree.getLeaves(JavaTreeNode node)
Get the leaves under this node.
|
void |
JavaTree.setRootNode(JavaTreeNode newRoot) |
Modifier and Type | Method and Description |
---|---|
void |
NewickTreeToProcessTree.addExpression(org.processmining.processtree.Node parent,
org.processmining.processtree.Node currentNode,
JavaTreeNode node,
org.processmining.processtree.Edge edge) |