public class IvMEfficientTree
extends org.processmining.plugins.InductiveMiner.efficienttree.EfficientTreeImpl
Constructor and Description |
---|
IvMEfficientTree(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree) |
IvMEfficientTree(org.processmining.processtree.ProcessTree tree) |
Modifier and Type | Method and Description |
---|---|
org.processmining.processtree.ProcessTree |
getDTree() |
int |
getIndex(org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode unode) |
org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode |
getUnfoldedNode(int index) |
addChild, clone, copy, equals, getActivity, getActivity2int, getActivityName, getChild, getChildren, getChildTree, getEmptyActivity2int, getInt2activity, getMaxNumberOfNodes, getNodeType, getNumberOfChildren, getRoot, getTree, hashCode, isActivity, isConcurrent, isInterleaved, isLoop, isOperator, isOr, isSequence, isSkip, isTau, isXor, reorderNodes, replaceTree, setNodeActivity, setNodeType, setNumberOfChildren, setSize, shortenTree, swap, toString, toString, traverse
public IvMEfficientTree(org.processmining.processtree.ProcessTree tree) throws org.processmining.plugins.InductiveMiner.efficienttree.UnknownTreeNodeException
org.processmining.plugins.InductiveMiner.efficienttree.UnknownTreeNodeException
public IvMEfficientTree(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree)
public int getIndex(org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode unode)
unode
- public org.processmining.processtree.conversion.ProcessTree2Petrinet.UnfoldedNode getUnfoldedNode(int index)
public org.processmining.processtree.ProcessTree getDTree()