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.