public class EfficientTree2processTreePlugin
extends java.lang.Object
Constructor and Description |
---|
EfficientTree2processTreePlugin() |
Modifier and Type | Method and Description |
---|---|
org.processmining.processtree.ProcessTree |
mineGuiProcessTree(org.processmining.framework.plugin.PluginContext context,
EfficientTree tree) |
public org.processmining.processtree.ProcessTree mineGuiProcessTree(org.processmining.framework.plugin.PluginContext context, EfficientTree tree)