public class TSConverterPlugin
extends java.lang.Object
| Constructor and Description |
|---|
TSConverterPlugin() |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.Object[] |
main(org.processmining.framework.plugin.PluginContext context,
TSMinerTransitionSystem ts)
Converts the given transition system using the default conversion
settings.
|
static void |
setLabels(org.processmining.framework.plugin.PluginContext context,
TSMinerTransitionSystem ts)
Sets the labels for the pending future results.
|
public static java.lang.Object[] main(org.processmining.framework.plugin.PluginContext context,
TSMinerTransitionSystem ts)
context - The current plug-in context.ts - The transition system to convert.public static void setLabels(org.processmining.framework.plugin.PluginContext context,
TSMinerTransitionSystem ts)
context - The current plug-in context.ts - The transition system to convert.