public class Declare2TransitionSystem
extends java.lang.Object
| Constructor and Description |
|---|
Declare2TransitionSystem() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object[] |
decl2TS(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl,
int approach) |
java.lang.Object[] |
decl2TSJohannes(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl) |
java.lang.Object[] |
decl2TSLTL2AutDennis(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl) |
java.lang.Object[] |
decl2TSLTL2Buchi(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl) |
java.lang.Object[] |
decl2TSMichael(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl) |
java.lang.Object[] |
decl2TSMichaelFabrizio(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl) |
public java.lang.Object[] decl2TSJohannes(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
throws java.lang.Exception
java.lang.Exceptionpublic java.lang.Object[] decl2TSLTL2Buchi(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
throws java.lang.Exception
java.lang.Exceptionpublic java.lang.Object[] decl2TSMichael(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
throws java.lang.Exception
java.lang.Exceptionpublic java.lang.Object[] decl2TSMichaelFabrizio(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
throws java.lang.Exception
java.lang.Exceptionpublic java.lang.Object[] decl2TSLTL2AutDennis(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
throws java.lang.Exception
java.lang.Exceptionpublic java.lang.Object[] decl2TS(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl,
int approach)
throws java.lang.Exception
java.lang.Exception