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)