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)