public class ProcessTree2EfficientTree
extends java.lang.Object
Constructor and Description |
---|
ProcessTree2EfficientTree() |
Modifier and Type | Method and Description |
---|---|
static EfficientTree |
convert(org.processmining.processtree.Node node)
Convert a process tree node to a efficient tree
|
static EfficientTree |
convert(org.processmining.processtree.ProcessTree processTree)
Convert a process tree into a efficient tree
|
static Triple<int[],gnu.trove.map.TObjectIntMap<java.lang.String>,java.lang.String[]> |
tree2efficientTree(org.processmining.processtree.Node node)
Convert a process tree into a efficient tree
|
public static EfficientTree convert(org.processmining.processtree.ProcessTree processTree) throws UnknownTreeNodeException
processTree
- UnknownTreeNodeException
public static EfficientTree convert(org.processmining.processtree.Node node) throws UnknownTreeNodeException
node
- UnknownTreeNodeException
public static Triple<int[],gnu.trove.map.TObjectIntMap<java.lang.String>,java.lang.String[]> tree2efficientTree(org.processmining.processtree.Node node) throws UnknownTreeNodeException
node
- UnknownTreeNodeException