static Triple<EfficientTree,java.lang.Integer,java.lang.String> |
ProcessTreeParser.parse(java.lang.String string,
int spacesPerTab) |
static Triple<EfficientTree,java.lang.Integer,java.lang.String> |
ProcessTreeParser.parseNode(ProcessTreeNodiser nodiser)
Parse the next node using nodiser.
|
static Triple<int[],gnu.trove.map.TObjectIntMap<java.lang.String>,java.lang.String[]> |
ProcessTree2EfficientTree.tree2efficientTree(org.processmining.processtree.Node node)
Convert a process tree into a efficient tree
|