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.
|
Triple<int[],gnu.trove.map.TObjectIntMap<java.lang.String>,java.lang.String[]> |
EfficientTree.toTriple() |
static Triple<int[],gnu.trove.map.TObjectIntMap<java.lang.String>,java.lang.String[]> |
EfficientTree.tree2efficientTree(org.processmining.processtree.Node node)
Convert a process tree into a efficient tree
|