public class EfficientTree2processTree
extends java.lang.Object
Constructor and Description |
---|
EfficientTree2processTree() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.processtree.ProcessTree |
convert(EfficientTree tree) |
static org.processmining.processtree.Node |
convert(EfficientTree tree,
int node,
org.processmining.processtree.ProcessTree newTree) |
static org.processmining.processtree.Node |
replaceNode(org.processmining.processtree.Node node,
EfficientTree tree)
Make tree a subtree that replaces node.
|
public static org.processmining.processtree.ProcessTree convert(EfficientTree tree)
public static org.processmining.processtree.Node replaceNode(org.processmining.processtree.Node node, EfficientTree tree)
node
- tree
- public static org.processmining.processtree.Node convert(EfficientTree tree, int node, org.processmining.processtree.ProcessTree newTree)